TeX source:
\neg (a\to \neg b)