Fuente TeX:
\psi , \varphi \in PROP