TeX Quellcode:

x=\sqrt{2} \not\in \mathbb{D}