TeX source:
5 \geqslant x