TeX Quellcode:

{p}\wedge{q}\Rightarrow{p}