Logical or mathematical notation
Logical or is a recurring research-paper notation family. Combines propositions into a statement that is true when at least one included proposition is true.
Logical or: Combines propositions into a statement that is true when at least one included proposition is true. Example: At least one of the two ranges must contain x.