↚
Arrow 11
- Unicode
- U+219A
- Category
- Arrows
- HTML Entity
- ↚
- CSS
- \219A
The ↚ (Leftwards Arrow with Stroke) symbol represents a negated leftward direction or a reversed non-implication. In mathematical logic, it is primarily used to denote that a statement on the right does not imply the statement on the left. Typographically, it can function as a visual cancellation of a backward movement or a prohibited return step.
How to Type
- Windows
- Alt+8602 or type 219A followed by Alt+X in Microsoft Word
- macOS
- Control+Command+Space then search 'leftwards arrow with stroke'
- Linux
- Ctrl+Shift+U 219A Space
- HTML
- ↚ or ↚
In Programming
In formal logic and mathematical notation, this symbol is used to represent a negated converse implication. It occasionally appears in technical documentation to indicate an invalid rollback or restricted backward navigation path.
Tags
arrow
crossed
crossed arrow
direction
does not imply
left
logic symbol
mathematical logic
negated
negation arrow
non-implication
not
not implies
stroke arrow