TeX Quellcode:

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