TeX source:
\mathbb{D}=\mathbb{R}_0^+\times\mathbb{R}