TeX source:
x \geq 0