Source TeX:
\neg (p \rightarrow q) \rightarrow p