This is documentation for Mathematica 3, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)
 Documentation / Mathematica / The Mathematica Book / Reference Guide / Listing of Named 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 The Mathematica Book: Section 3.10.4.
  • See also: \[DoubleLongLeftRightArrow], \[LeftRightArrow], \[RightArrowLeftArrow], \[LeftArrowRightArrow], \[Congruent], \[Implies].