TeX source:
\textbf{x}_0 \in D