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