U+21CF "⇏" Rightwards Double Arrow with Stroke Unicode Character
Unicode Version 17.0
⇏
U+21CF "⇏" Rightwards Double Arrow with Stroke is a mathematical symbol used to denote negation, specifically that one statement does not logically imply another or that a particular implication is false. It visually represents a cancellation or rejection of the normal rightward double arrow (⇒), which typically signifies logical implication or material conditional. In formal logic and mathematics, this symbol appears in contexts where a proposed implication is asserted to be invalid, such as in proofs or in the statement "P does not imply Q."
General Properties
| Code Point | U+21CF |
| Version Added | 1.1 |
| Name | Rightwards Double Arrow with Stroke |
| Unicode 1.0 Name | Right Double Arrow with Stroke |
| Block | Arrows |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Decomposition Type | Canonical |
| Decomposition Mapping | "⇒" U+21D2 Rightwards Double Arrow "̸" U+0338 Combining Long Solidus Overlay |
Encodings
| HTML Decimal Encoding | ⇏ |
| HTML Hex Encoding | ⇏ |
| UTF-8 Encoding | 0xE2 0x87 0x8F |
| UTF-16 Encoding | 0x21CF |
| UTF-32 Encoding | 0x000021CF |
| C/C++/Java Escape | \u21cf |
Unicode Properties
| NFC Quick Check | Yes |
| NFKC 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 |