TeX source:
x \geq-4