Home: go to the homepage U+2200 to U+22FF Mathematical Operators

# U+22C1N-Ary Logical Or

U+22C1 was added in Unicode version 1.1 in 1993. It belongs to the block U+2200 to U+22FF Mathematical Operators in the U+0000 to U+FFFF Basic Multilingual Plane.

This character is a Math Symbol and is commonly used, that is, in no specific script.

The glyph is not a composition. It has no designated width in East Asian texts. In bidirectional text it acts as Other Neutral. When changing direction it is not mirrored. The word that U+22C1 forms with similar adjacent characters prevents a line break inside it. The glyph can be confused with one other glyph.

The CLDR project calls this character “n-ary logical or” for use in screen reading software. It assigns these additional labels, e.g. for search in emoji pickers: disjunction, logic.

In logic, disjunction, also known as logical disjunction or logical or or logical addition or inclusive disjunction, is a logical connective typically notated as $\vee$ 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\vee W$, assuming that $S$ abbreviates "it is sunny" and $W$ abbreviates "it is warm".

In classical logic, disjunction is given a truth functional semantics according to which a formula $\varphi \vee \psi$ is true unless both $\varphi$ and $\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.

An operand of a disjunction is a disjunct.

## Representations

System Representation
8897
UTF-8 E2 8B 81
UTF-16 22 C1
UTF-32 00 00 22 C1
URL-Quoted %E2%8B%81
HTML hex reference &#x22C1;
Wrong windows-1252 Mojibake â‹
HTML named entity &Vee;
HTML named entity &bigvee;
HTML named entity &xvee;
LATEX \ElsevierGlyph{22C1}

## Complete Record

Property Value
Age (age) 1.1 (1993)
Unicode Name (na) N-ARY LOGICAL OR
Unicode 1 Name (na1)
Block (blk) Mathematical Operators
General Category (gc) Math Symbol
Script (sc) Common
Bidirectional Category (bc) Other Neutral
Combining Class (ccc) Not Reordered
Decomposition Type (dt) none
Decomposition Mapping (dm) N-Ary Logical Or
Lowercase (Lower)
Simple Lowercase Mapping (slc) N-Ary Logical Or
Lowercase Mapping (lc) N-Ary Logical Or
Uppercase (Upper)
Simple Uppercase Mapping (suc) N-Ary Logical Or
Uppercase Mapping (uc) N-Ary Logical Or
Simple Titlecase Mapping (stc) N-Ary Logical Or
Titlecase Mapping (tc) N-Ary Logical Or
Case Folding (cf) N-Ary Logical Or
ASCII Hex Digit (AHex)
Alphabetic (Alpha)
Bidi Control (Bidi_C)
Bidi Mirrored (Bidi_M)
Composition Exclusion (CE)
Case Ignorable (CI)
Changes When Casefolded (CWCF)
Changes When Casemapped (CWCM)
Changes When NFKC Casefolded (CWKCF)
Changes When Lowercased (CWL)
Changes When Titlecased (CWT)
Changes When Uppercased (CWU)
Cased (Cased)
Full Composition Exclusion (Comp_Ex)
Default Ignorable Code Point (DI)
Dash (Dash)
Deprecated (Dep)
Diacritic (Dia)
Emoji Modifier Base (EBase)
Emoji Component (EComp)
Emoji Modifier (EMod)
Emoji Presentation (EPres)
Emoji (Emoji)
Extender (Ext)
Extended Pictographic (ExtPict)
FC NFKC Closure (FC_NFKC) N-Ary Logical Or
Grapheme Cluster Break (GCB) Any
Grapheme Base (Gr_Base)
Grapheme Extend (Gr_Ext)
Hex Digit (Hex)
Hyphen (Hyphen)
ID Continue (IDC)
ID Start (IDS)
IDS Binary Operator (IDSB)
IDS Trinary Operator and (IDST)
IDSU (IDSU) 0
ID_Compat_Math_Continue (ID_Compat_Math_Continue) 0
ID_Compat_Math_Start (ID_Compat_Math_Start) 0
Ideographic (Ideo)
InCB (InCB) None
Indic Mantra Category (InMC)
Indic Positional Category (InPC) NA
Indic Syllabic Category (InSC) Other
Jamo Short Name (JSN)
Join Control (Join_C)
Logical Order Exception (LOE)
Math (Math)
Noncharacter Code Point (NChar)
NFC Quick Check (NFC_QC) Yes
NFD Quick Check (NFD_QC) Yes
NFKC Casefold (NFKC_CF) N-Ary Logical Or
NFKC Quick Check (NFKC_QC) Yes
NFKC_SCF (NFKC_SCF) N-Ary Logical Or
NFKD Quick Check (NFKD_QC) Yes
Other Alphabetic (OAlpha)
Other Default Ignorable Code Point (ODI)
Other Grapheme Extend (OGr_Ext)
Other ID Continue (OIDC)
Other ID Start (OIDS)
Other Lowercase (OLower)
Other Math (OMath)
Other Uppercase (OUpper)
Prepended Concatenation Mark (PCM)
Pattern Syntax (Pat_Syn)
Pattern White Space (Pat_WS)
Quotation Mark (QMark)
Regional Indicator (RI)
Sentence Break (SB) Other
Soft Dotted (SD)
Sentence Terminal (STerm)
Terminal Punctuation (Term)
Unified Ideograph (UIdeo)
Variation Selector (VS)
Word Break (WB) Other
White Space (WSpace)
XID Continue (XIDC)
XID Start (XIDS)
Expands On NFC (XO_NFC)
Expands On NFD (XO_NFD)
Expands On NFKC (XO_NFKC)
Expands On NFKD (XO_NFKD)
Bidi Paired Bracket (bpb) N-Ary Logical Or
Bidi Paired Bracket Type (bpt) None
East Asian Width (ea) neutral
Hangul Syllable Type (hst) Not Applicable
ISO 10646 Comment (isc)
Joining Group (jg) No_Joining_Group
Joining Type (jt) Non Joining
Line Break (lb) Alphabetic
Numeric Type (nt) none
Numeric Value (nv) not a number
Simple Case Folding (scf) N-Ary Logical Or
Script Extension (scx)
Vertical Orientation (vo) R