↮

Arrow 31

Unicode
U+21AE
Category
Arrows
HTML Entity
↮
CSS
\21AE
The Left Right Arrow With Stroke symbol (↮) features a bidirectional arrow intersected by a diagonal slash. In formal logic and mathematics, it represents the concept of "not logically equivalent to," acting as the direct negation of the standard left-right arrow. It frequently appears in technical documentation and computer science formulas to indicate that two statements do not share the same truth value.

How to Type

Windows
Alt+8622
macOS
Control+Command+Space then search "left right arrow with stroke"
Linux
Ctrl+Shift+U then 21ae
HTML
↮ or ↮

In Programming

In discrete mathematics and formal logic programming, this symbol is often used to represent an exclusive or (XOR) operation, indicating that exactly one of two given propositions is true.

Tags

arrow biconditional negation crossed crossed arrow left right logic not equal logical inequality negated negation symbol not not biconditional not equivalent strikethrough 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