TeX source:
x + 4 \geq 0