TeX source:

x=-3 \not\in \mathbb{D}