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