TeX Quellcode:

x=9 \not\in\mathbb{D}