Documentation Publicon Reference Special Characters
DoubleLeftRightArrow
\[DoubleLeftRightArrow]
• Alias: >. • Infix arrow operator. • x y is by default interpreted as DoubleLeftRightArrow[x, y]. • Used in mathematics to indicate logical equivalence. • Extensible character.• See also: \[DoubleLongLeftRightArrow] , \[LeftRightArrow] , \[RightArrowLeftArrow] , \[LeftArrowRightArrow] , \[Congruent] , \[Implies] .
\[DoubleLeftRightArrow]
>
y is by default interpreted as DoubleLeftRightArrow[x, y]. 