TeX source:
x= \sqrt{3} \not\in \mathbb{D}