↛

Arrow 12

Unicode
U+219B
Category
Arrows
HTML Entity
↛
CSS
\219B
The ↛ (Rightwards Arrow with Stroke) symbol depicts a standard right-facing arrow crossed out by a diagonal slash. In formal logic and mathematics, it represents "does not imply," showing that a specific condition does not guarantee a certain outcome. It is also useful in technical diagrams or everyday note-taking to indicate a blocked path, a canceled transition, or a disrupted sequence.

How to Type

Windows
Type 219B then press Alt + X (in Word), or Win + . then search
macOS
Control + Command + Space then search "arrow with stroke"
Linux
Ctrl + Shift + U, type 219b, then press Enter
HTML
↛ or ↛

In Programming

In mathematical logic and computer science proofs, ↛ serves as the "does not imply" operator to explicitly negate logical implication. It is commonly rendered in LaTeX documents using the \nrightarrow command.

Tags

arrow blocked path crossed crossed arrow direction does not imply logic symbol mathematical logic negated negation operator non-implication not right stroke arrow

Related Symbols

← Left Arrow ↑ Up Arrow → Right Arrow ↓ Down Arrow ↔ Left Right Arrow ↕ Up Down Arrow ↖ North West Arrow ↗ North East Arrow ↘ South East Arrow ↙ South West Arrow ↞ Left Two Headed Arrow ↠ Right Two Headed Arrow