Zdroj TeX:
P \notin AB