U+22AA "⊪" Triple Vertical Bar Right Turnstile Unicode Character

Unicode Version 18.0

⊪
Source: Noto Sans Math Source: Browser Default

U+22AA "⊪" Triple Vertical Bar Right Turnstile is a mathematical symbol used primarily in logic and formal semantics to denote a specific kind of semantic entailment or deduction, often indicating that a set of premises forces a conclusion under a particular interpretation, with the triple vertical bars emphasizing a stronger or more structured relational condition than the standard single or double bar turnstiles.

⊩ Previous U+22A9 Forces ⊫ Next U+22AB Double Vertical Bar Double Right Turnstile

General Properties

Code Point
U+22AA
Version Added
1.1
Name
Triple Vertical Bar Right Turnstile
Block
Mathematical Operators
General Category
Math Symbol
Canonical Combining Class
Not Reordered
Bidirectional Class
Other Neutral
Mirrored
Yes

Encodings

HTML Decimal Encoding
⊪
HTML Hex Encoding
⊪
UTF-8 Encoding
0xE2 0x8A 0xAA
UTF-16 Encoding
0x22AA
UTF-32 Encoding
0x000022AA
C/C++/Java Escape
\u22aa

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