TeX source:
\neg(\neg A) = A