TeX source:
y\geq0