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