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