TeX Quellcode:

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