TeX source:

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