Fuente TeX:
\displaystyle {{f}_{3}}:A\times POSF\times POSF\times PROP'\times PROP'\to PROP'