TeX source:
6 \geq x-1