TeX source:

x^2\leq x^2 + y^2