TeX source:

x\geq0