TeX source:
\neg \neg q\to q