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