Source TeX:
y \geq 0