TeX source:
-2 \geqslant k