TeX source:
x^2 ≤ y