TeX source:

D=\{(x,y): x^2+y^2 \leq 1\}