TeX source:
\neg a\to b