Fuente TeX:
x^2 \leq 4-x^2-y^2