TeX source:
(\neg q\to \neg p)\to (p\to q)