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