⟷
Long Left Right Arrow
- Unicode
- U+27F7
- Category
- Arrows
- HTML Entity
- ⟷
- CSS
- \27F7
The Long Left Right Arrow (⟷) features a horizontal line with arrowheads pointing in opposite directions, distinguished by its elongated shaft compared to standard double-ended arrows. In mathematics and formal logic, it frequently represents a logical equivalence or an "if and only if" relationship between two statements. Typographers and designers also use it to visually indicate a reciprocal relationship, a bidirectional mapping, or a physical distance between two objects.
How to Type
- Windows
- Type 27F7 then Alt+X in Word, or Win+. and search 'arrow'
- macOS
- Control+Command+Space then search 'long left right arrow'
- Linux
- Ctrl+Shift+U then type 27f7
- HTML
- ⟷ or ⟷
In Programming
In LaTeX and MathML, programmers use commands like \longleftrightarrow to render this symbol in mathematical formulas, typically to denote a bidirectional mapping function, a state transition, or a strict logical equivalence.
Tags
Unicode 27F7
arrow
biconditional
bidirectional mapping
direction
double headed long arrow
equivalence arrow
if and only if
iff
left right
logical equivalence
long
long double arrow
math