TeX Quellcode:

{p}\Rightarrow{p}\vee{q}