What ↮ means
It indicates that a bidirectional relation or logical equivalence does not hold. In formal logic and mathematics, an uncrossed arrow marks mutual implication or equivalence. Placing a stroke through it explicitly denies that mutual relationship.
In propositional logic, writing A ↮ B asserts that A and B have different truth values—exactly one of them is true. It is not an ordinary inequality sign; use when you simply want to state that two values are unequal.
Formal mathematical and technical symbol; not used in casual texting.
Do not use ↮ for general inequality; use the standard not-equal sign .
Part of the collection
Don't confuse it with
4
Related characters
2
Combination ideas
3Worth knowing
- HTML provides two named character references for this single glyph: ↮ and ↮.
Questions people ask
1Why does the stroke look different across devices?
Because ↮ is rendered by your active font. The exact angle, thickness, and placement of the stroke vary between typefaces.
More like this
12
How to type or find ↮
- Also called
- negated left-right arrow · not bidirectional arrow · nleftrightarrow
- Search it as
- negated arrow · crossed arrow · two-way arrow with stroke · not equivalence arrow
- Shows up in
- Anything that takes text · its shape is whatever your font draws
↮\21AECodes and encoding1 code points
A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.