Fuente TeX:
\varphi = (\alpha \wedge \neg \alpha)