If P and Q are propositions, then P ∨ Q stands for "P or Q". The LaTeX symbol is \lor (for "logical or").

\lor