Symbols:Symbolic Logic/Disjunction

Disjunction

 * $\lor$

Or.

A binary operation on two propositions.

$P \lor Q$ means either $P$ is true or $Q$ is true, or both.

Its technical term is vel.

Some $\LaTeX$ compilers allow  (the MathJax used on  does not).

In the context of propositional logic, on   is standard.