What ⟹ means
The rightward double arrow means the left side implies the right.
As of 2026, MathML Core marks it as a stretchy infix operator, so a formula renderer may lengthen it.
Is ⟹ the same as ⇔?
No; ⇔ covers both directions.
In logic, ⇔ commonly marks equivalence: each side implies the other.
Don't confuse it with
1Questions people ask
1Why does ⟹ show as a box on some devices?
Because that device's fonts have no glyph for it. The character is still correct and still copies correctly — the box is a missing glyph, not a broken character.
How to type ⟹
Windows (Word)
Alt+XType 27F9, then Alt+X to get ⟹.
Windows
Win+Rrun charmap for the full table, or use the emoji picker's Ω symbols tab (Win + .).
macOS
Control+Command+SpaceOpen the character viewer and search “long rightwards double arrow”.
Linux
Ctrl+Shift+UType 27f9, then Enter or Space.
HTML
⟹CSS
\27F9Codes and encoding1 code points
HTML decimal
⟹
HTML hex
⟹
CSS content
content: "\27F9";
Each escape is closed by the next backslash; a trailing space is needed before a literal hex digit.
URL encoded
%E2%9F%B9
1
On screen
1
Code points
1
JS .length
3
UTF-8 bytes
A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.