U+21CD "⇍" Leftwards Double Arrow with Stroke Unicode Character
Unicode Version 17.0
⇍
U+21CD "⇍" Leftwards Double Arrow with Stroke is a mathematical symbol used primarily in logic and formal notation to represent a negated or false leftward logical equivalence or biconditional, meaning it asserts that the leftward implication is not valid or does not hold between two propositions. Its design combines a leftwards double arrow, similar to the logical symbol for "if and only if," with a vertical stroke across its shaft, visually indicating negation or cancellation. This character is part of the Arrows block in Unicode and is often employed in contexts where precise logical relationships and their contradictions must be expressed without ambiguity.
General Properties
| Code Point | U+21CD |
| Version Added | 1.1 |
| Name | Leftwards Double Arrow with Stroke |
| Unicode 1.0 Name | Left Double Arrow with Stroke |
| Block | Arrows |
| General Category | Other Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Decomposition Type | Canonical |
| Decomposition Mapping | "⇐" U+21D0 Leftwards Double Arrow "̸" U+0338 Combining Long Solidus Overlay |
Encodings
| HTML Decimal Encoding | ⇍ |
| HTML Hex Encoding | ⇍ |
| UTF-8 Encoding | 0xE2 0x87 0x8D |
| UTF-16 Encoding | 0x21CD |
| UTF-32 Encoding | 0x000021CD |
| C/C++/Java Escape | \u21cd |
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 |
| Other Math | Yes |
| Vertical Orientation | Rotated |
| Grapheme Base | Yes |
| Grapheme Cluster Break | Other |
| Word Break | Other |
| Sentence Break | Other |