TeX Quellcode:

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