TeX source:
x+4 \geq 0