U+27FE "⟾" Long Rightwards Double Arrow from Bar Unicode Character
Unicode Version 17.0
⟾
U+27FE "⟾" Long Rightwards Double Arrow from Bar is a mathematical symbol that represents a specific type of logical or relational implication, typically used in formal logic, set theory, or category theory to indicate a long rightwards double arrow with a perpendicular bar at its tail, which can denote a stronger or modified form of mapping or entailment compared to simpler arrows. It belongs to the Supplemental Arrows-A block, which contains various extended arrow glyphs for technical notation, and its design visually combines a heavy double-headed arrow with a horizontal starting bar to suggest a constraint or initial condition.
General Properties
| Code Point | U+27FE |
| Version Added | 3.2 |
| Name | Long Rightwards Double Arrow from Bar |
| Block | Supplemental Arrows-A |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
Encodings
| HTML Decimal Encoding | ⟾ |
| HTML Hex Encoding | ⟾ |
| UTF-8 Encoding | 0xE2 0x9F 0xBE |
| UTF-16 Encoding | 0x27FE |
| UTF-32 Encoding | 0x000027FE |
| C/C++/Java Escape | \u27fe |
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 |