TeX Quellcode:

{(p}\leftrightarrow{q)}\wedge{q}\Rightarrow{p}