Source TeX:
\neg