TeX source:
p\to \neg \neg p