What ⇏ means
A does not imply B. Here A and B stand for statements. Knowing A is true is not enough to conclude that B must be true. The stroke cancels the implication expressed by ; it does not reverse the arrow.
For example, being an even number does not imply being divisible by four. Six is even but is not divisible by four, so it provides a counterexample: a case that disproves the proposed rule.
Eight is both even and divisible by four. That does not contradict the example: ⇏ rejects a guarantee, not the possibility that both statements hold. To disprove a general implication, one case where A is true and B is false is enough.
Mathematical notation for a precise logical distinction; in ordinary prose, write “does not necessarily mean.”
A ⇏ B does not mean “A implies that B is false.”
Part of the collection
Don't confuse it with
2
Related characters
1
Combination ideas
3Worth knowing
- Implication arrows were used in formal logic by 1922, and the double-line form is documented in 1954. These dates concern the underlying arrow, not the first use of ⇏.
More like this
13
⇒Rightwards Double Arrow
→Rightwards Arrow
➡️Right Arrow
≠Not Equal To
⇔Left Right Double Arrow
⇍Leftwards Double Arrow With Stroke
⇎Left Right Double Arrow With Stroke
⇐Leftwards Double Arrow
↛Rightwards Arrow With Stroke
⇞Upwards Arrow With Double Stroke
⇟Downwards Arrow With Double Stroke
⟰Upwards Quadruple Arrow
⟱Downwards Quadruple ArrowHow to type or find ⇏
- Also called
- does not imply · nRightarrow
- Search it as
- does not imply symbol · not imply · non-implication · crossed double arrow
- Shows up in
- Anything that takes text · its shape is whatever your font draws
⇏\21CFCodes and encoding1 code points
A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.