TeX-källa:
S \cap (U \setminus p) \neq \emptyset.