Fuente TeX:
\forall \varphi \in POSF :: f⁻¹ (g( \varphi ) = g⁻¹(f(\varphi))