TeX source:

x\geq -3