U+27DE "⟞" Long Left Tack Unicode Character

Unicode Version 17.0

U+27DE "⟞" Long Left Tack is a mathematical symbol used primarily in the field of logic and theoretical computer science to represent a specific type of relation or operator, often appearing in sequent calculus or as a variant of the turnstile notation. Unlike the standard turnstile, the "tack" shape with an extended horizontal line emphasizes a distinct semantic role, such as indicating a longer scope or separation in formal derivations. This character belongs to the "Miscellaneous Mathematical Symbols-A" block and is designed for use in typesetting complex logical expressions where precise visual distinction is required.

General Properties

Code Point U+27DE
Version Added 3.2
Name Long Left Tack
Block Miscellaneous Mathematical Symbols-A
General Category Math Symbol
Canonical Combining Class Not Reordered
Bidirectional Class Other Neutral
Mirrored Yes
Mirrored Character "⟝" U+27DD Long Right Tack

Encodings

HTML Decimal Encoding ⟞
HTML Hex Encoding ⟞
UTF-8 Encoding 0xE2 0x9F 0x9E
UTF-16 Encoding 0x27DE
UTF-32 Encoding 0x000027DE
C/C++/Java Escape \u27de

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