TeX Quellcode:

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