TeX source:
y \geq 2