TeX source:
\neg \varphi