TeX Quellcode:

x=-17 \not\in \mathbb{D}