TeX source:
x^2−y ≤ 0