Source TeX:
x \geq -3