TeX source:
x \geq -4