Fuente TeX:

\( f⁻¹(g(\varphi \neg)) = g⁻¹(f(\varphi \neg)) \Leftrightarrow f⁻¹(\neg \varphi) = g⁻¹(\neg \varphi) \Leftrightarrow f⁻¹(g(\varphi))\neg = g⁻¹(f(\varphi)) \neg ))