TeX source:

x \geq 1