TeX source:
x+y\geq 0