TeX source:

x=4 \not\in\mathbb{D}