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