TeX source:

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