TeX source:

((p\to q)\to q)\to (\neg q\to \neg (p\to q))