TeX source:

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