Zdroj TeX:

P_{n+1} \notin AB