TeX source:

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