TeX source:
t=0 \not\in \mathbb{D}