TeX-källa:

Y=\{x^2+y^2 \leq 1, z=0\}