Sorgente TeX:
\neg A