TeX source:
\mathbb{D}=[0;\pi]