TeX source:
\neg \forall x\neg \varphi (x)