TeX Quellcode:
x=-9 \not\in \mathbb{D}