TeX source:

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