\[DoubleLeftRightArrow]

  • Unicode: 21D4.
  • エイリアス:<=>
  • 中置形の矢印演算子.
  • x y はデフォルトでDoubleLeftRightArrow[x,y]として解釈される.
  • 数学で論理的等価を表すのに使用される.
  • 伸長可能文字.
  • \[Equivalent]とは異なる.