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