⇏
Arrow 64
- Unicode
- U+21CF
- Category
- Arrows
- HTML Entity
- ⇏
- CSS
- \21CF
The ⇏ symbol, formally known as the Rightwards Double Arrow with Stroke, is widely used in mathematical logic to represent "does not imply." It acts as the direct negation of the standard double arrow (⇒), which indicates a logical implication or conditional statement. Outside of formal proofs, it occasionally appears in technical notes to emphasize that one condition does not automatically lead to another.
How to Type
- Windows
- Alt+8655
- macOS
- Control+Command+Space then search "arrow with stroke"
- Linux
- Ctrl+Shift+U then type 21cf
- HTML
- ⇏ or ⇏
In Programming
In mathematics and computer science, this symbol denotes non-implication in formal logic equations. When writing technical documentation in LaTeX, it is generated using the \nRightarrow command.
Tags
arrow
discrete math arrow
does not imply
double
formal logic symbol
logical negation arrow
negated
negated double arrow
negated implies
non-implication symbol
not
right
rightwards double arrow with stroke
unicode logic