TeX source:
(\neg q\to q)\to q