TeX Quellcode:

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