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