Documentation Publicon Reference Special Characters
LeftRightArrow
\[LeftRightArrow]
• Alias: <. • Infix arrow operator. • x y is by default interpreted as LeftRightArrow[x, y]. • Used in mathematics for various notions of equivalence and equality. • Extensible character.• See also: \[LongLeftRightArrow] , \[DoubleLeftRightArrow] , \[LeftArrowRightArrow] , \[LeftRightVector] , \[Equilibrium] , \[UpDownArrow] .
\[LeftRightArrow]
<
y is by default interpreted as LeftRightArrow[x, y]. 