U+22C1 N-Ary Logical Or
U+22C1 was added to Unicode in version 1.1 (1993). It belongs to the block
This character is a Math Symbol and is commonly used, that is, in no specific script.
The glyph is not a composition. It has a Neutral East Asian Width. In bidirectional context it acts as Other Neutral and is not mirrored. The glyph can, under circumstances, be confused with 1 other glyphs. In text U+22C1 behaves as Alphabetic regarding line breaks. It has type Other for sentence and Other for word breaks. The Grapheme Cluster Break is Any.
The CLDR project labels this character “n-ary logical or” for use in screen reading software. It assigns additional tags, e.g. for search in emoji pickers: disjunction, logic.
The Wikipedia has the following information about this codepoint:
In logic, disjunction, also known as logical disjunction or logical or or logical addition or inclusive disjunction , is a logical connective typically notated as ∨ {displaystyle lor } and read aloud as "or". For instance, the English language sentence "it is sunny or it is warm" can be represented in logic using the disjunctive formula S ∨ W {displaystyle Slor W} , assuming that S {displaystyle S} abbreviates "it is sunny" and W {displaystyle W} abbreviates "it is warm".
In classical logic, disjunction is given a truth functional semantics according to which a formula ϕ ∨ ψ {displaystyle phi lor psi } is true unless both ϕ {displaystyle phi } and ψ {displaystyle psi } are false. Because this semantics allows a disjunctive formula to be true when both of its disjuncts are true, it is an inclusive interpretation of disjunction, in contrast with exclusive disjunction. Classical proof theoretical treatments are often given in terms of rules such as disjunction introduction and disjunction elimination. Disjunction has also been given numerous non-classical treatments, motivated by problems including Aristotle's sea battle argument, Heisenberg's uncertainty principle, as well as the numerous mismatches between classical disjunction and its nearest equivalents in natural languages.
Representations
System | Representation |
---|---|
Nº | 8897 |
UTF-8 | E2 8B 81 |
UTF-16 | 22 C1 |
UTF-32 | 00 00 22 C1 |
URL-Quoted | %E2%8B%81 |
HTML hex reference | ⋁ |
Wrong windows-1252 Mojibake | â‹ |
HTML named entity | ⋁ |
HTML named entity | ⋁ |
HTML named entity | ⋁ |
LATEX | \ElsevierGlyph{22C1} |
Related Characters
Confusables
Elsewhere
Complete Record
Property | Value |
---|---|
1.1 (1993) | |
N-ARY LOGICAL OR | |
— | |
Mathematical Operators | |
Math Symbol | |
Common | |
Other Neutral | |
Not Reordered | |
None | |
|
|
✘ | |
|
|
|
|
✘ | |
|
|
|
|
|
|
|
|
|
|
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
|
|
Any | |
✔ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
0 | |
0 | |
0 | |
✘ | |
None | |
— | |
NA | |
Other | |
— | |
✘ | |
✘ | |
✔ | |
✘ | |
Yes | |
Yes | |
|
|
Yes | |
|
|
Yes | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✔ | |
✘ | |
✘ | |
✘ | |
✘ | |
Other | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
Other | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
|
|
None | |
Neutral | |
Not Applicable | |
— | |
No_Joining_Group | |
Non Joining | |
Alphabetic | |
None | |
not a number | |
|
|
R |