mathswitch
— infrastructure for relaying and exchanging mathematical concepts
logical disjunction
logical connective OR
Wikidata: logical disjunction