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