What ⇛ means
Whatever the author defines it to mean. Writers pick ⇛ when they need an arrow that stays distinct from and , and they say what it stands for nearby. Look for that definition before guessing; three strokes do not automatically mean “implies, only more strongly”.
The clearest convention counts strokes as levels. In category theory, a branch of maths about structures and the maps between them, is a map, is a map between maps, and ⇛ can mark the next level up, a map between those. Outside such a stated system, treat it as a custom relation.
It reached computers through typesetting: the American Mathematical Society's extra symbol set, and the ISO entity lists for publishing maths in SGML and HTML, where its name is rAarr.
Technical and mathematical; rare in ordinary messages, where it reads only as a decorative arrow.
Don't swap ⇛ for to look emphatic in a proof; readers will take it as a different symbol.
Part of the collection
Don't confuse it with
3
Related characters
3
Combination ideas
4Questions people ask
1Does ⇛ mean “strongly implies”?
Not by default. No standard gives it that meaning; it holds only when an author defines it so.
More like this
13
How to type or find ⇛
- Also called
- Rrightarrow · rAarr · right triple arrow
- Search it as
- triple arrow · three line arrow · math arrow · LaTeX arrow
- Shows up in
- Anything that takes text · its shape is whatever your font draws
⇛\21DB\Rrightarrow in math mode; load amssymb first, or LaTeX reports an undefined command.\Rrightarrow and a space. In ordinary text, type 21DB and press AltX.⇛ or ⇛.Codes and encoding1 code points
A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.