TeX Quellcode:

t=1 \not\in \mathbb{D}