TeX source:

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