TeX source:
\lnot \varphi