Zdroj TeX:
\small P' \neq P ; P' \in p