⇍
Arrow 62
- Unicode
- U+21CD
- Category
- Arrows
- HTML Entity
- ⇍
- CSS
- \21CD
The ⇍ symbol, formally known as the Leftwards Double Arrow with Stroke, represents the logical concept of "is not implied by" or reverse non-implication. It features a standard left-pointing double arrow intersected by a diagonal slash to denote negation. This symbol is primarily used in formal logic, discrete mathematics, and technical proofs to demonstrate that a specific condition does not necessarily follow from a subsequent statement.
How to Type
- Windows
- Type 21CD then press Alt+X in Microsoft Word, or press Win+. and search "arrow"
- macOS
- Control+Command+Space then search "Leftwards Double Arrow With Stroke"
- Linux
- Ctrl+Shift+U then type 21CD and press Enter
- HTML
- ⇍ or ⇍
In Programming
In mathematics and computer science, ⇍ is used in formal logic equations to indicate that statement A is not implied by statement B. It is frequently rendered in LaTeX documentation using the \nLeftarrow command.
Tags
arrow
discrete math symbol
does not follow
double
formal logic arrow
left
leftwards double arrow with stroke
logical negation
negated
negated left arrow
not
not implied by
reverse non-implication
unicode logic symbol