DoubleLeftRightArrow
 Usage
 \[DoubleLeftRightArrow]
Notes
• Alias:   >. • Infix arrow operator. • x  y is by default interpreted as DoubleLeftRightArrow[x, y]. • Used in mathematics to indicate logical equivalence. • Extensible character. • See Section 3.10.4. • See also: \[DoubleLongLeftRightArrow] , \[LeftRightArrow] , \[RightArrowLeftArrow] , \[LeftArrowRightArrow] , \[Congruent] , \[Implies] .
|
