TeX source:
\lnot (\lnot \varphi \lor \lnot \psi )