Fuente TeX:
\displaystyle f:POSF\to PROP'