TeX Quellcode:

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