Source TeX:
x \geq 0