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