TeX source:
y \leq 2