TeX-källa:

K=\{(x,y,z):x^2+y^2+z^2 \leq 1, z \geq 0\}