Zdroj TeX:

\small \rho : [P] \overset{o}{\longrightarrow} [Q].