From CS2800 wiki


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