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