U+2A63 "⩣" Logical or with Double Underbar Unicode Character

Unicode Version 17.0

U+2A63 "⩣" Logical or with Double Underbar is a mathematical operator used in formal logic and set theory to represent a modified logical disjunction, where the double underbar typically indicates an associative or binary operation that satisfies specific algebraic properties, such as idempotence or the absorption law, distinguishing it from a standard logical OR. It appears in advanced notation for lattice theory, Boolean algebra, or circuit design, serving as a visual cue for a variant of the inclusive OR that is often defined within a structured algebraic system. This character is part of the Supplemental Mathematical Operators block and is intended for use in technical documents and publications that require precise symbolic logic.

General Properties

Code Point U+2A63
Version Added 3.2
Name Logical or with Double Underbar
Block Supplemental Mathematical Operators
General Category Math Symbol
Canonical Combining Class Not Reordered
Bidirectional Class Other Neutral

Encodings

HTML Decimal Encoding ⩣
HTML Hex Encoding ⩣
UTF-8 Encoding 0xE2 0xA9 0xA3
UTF-16 Encoding 0x2A63
UTF-32 Encoding 0x00002A63
C/C++/Java Escape \u2a63

Unicode Properties

NFC Quick Check Yes
NFD Quick Check Yes
NFKC Quick Check Yes
NFKD Quick Check Yes
Numeric Type None
Numeric Value NaN
Line Break Alphabetic
Script Common
Script Extensions Common
Indic Syllabic Category Other
Pattern Syntax Yes
Math Yes
Vertical Orientation Rotated
Grapheme Base Yes
Grapheme Cluster Break Other
Word Break Other
Sentence Break Other