TeX source:
k=2 \not\in \mathbb{D}