TeX source:

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