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