TeX source:
o'' \in D - \{o\}