TeX source:
y \geq 0