Fuente TeX:
\neg\phi \lor \neg\neg\phi