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