Fuente TeX:
0 \leq (x-y)^2