TeX source:
y^2 \leq 4