TeX source:

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