Fuente TeX:
((\varphi \rightarrow \psi) \wedge \varphi) \rightarrow \psi