TeX source:
\neg~A