Fuente TeX:
\psi \in \mathrm{PROP}_{{\downarrow}}