U+2B47 "⭇" Reverse Tilde Operator Above Rightwards Arrow Unicode Character

Unicode Version 17.0

U+2B47 "⭇" Reverse Tilde Operator Above Rightwards Arrow is a typographic symbol classified under the Miscellaneous Symbols and Arrows block, used primarily in mathematical notation, logic, or technical documentation to indicate a modified directional relationship or a functional mapping where a reverse tilde, often signifying a form of negation or alternation, is superimposed above a rightwards arrow. It serves as a specialized operator in formal systems, such as in certain areas of computer science or theoretical mathematics, to denote operations like reverse implication with an added layer of transformation or constraint.

General Properties

Code Point U+2B47
Version Added 5.1
Name Reverse Tilde Operator Above Rightwards Arrow
Block Miscellaneous Symbols and Arrows
General Category Math Symbol
Canonical Combining Class Not Reordered
Bidirectional Class Other Neutral

Encodings

HTML Decimal Encoding ⭇
HTML Hex Encoding ⭇
UTF-8 Encoding 0xE2 0xAD 0x87
UTF-16 Encoding 0x2B47
UTF-32 Encoding 0x00002B47
C/C++/Java Escape \u2b47

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