TeX source:
3-x \geq 0