TeX Quellcode:

{[(p}\rightarrow{q)}\wedge\neg{p]}\rightarrow\neg{q}