ThmDex – An index of mathematical definitions, results, and conjectures.

▼	Set of symbols
▼	Propositional connective

Definition D235

Disjunction

Also known as

Logical OR