Zdroj TeX:
\small P_{n+1} \notin AB