TeX source:
x=\dfrac{8+\sqrt{70}}{6} \not\in\mathbb{D}