\[DoubleLeftArrow]

  • Unicode: 21D0.
  • エイリアス:Esc<=Esc
  • 中置形の矢印演算子.
  • x はデフォルトでDoubleLeftArrow[x,y]として解釈される.
  • 伸長可能文字.
  • Esc<=Esc\[LessEqual]のエイリアスである.\[DoubleLeftArrow]のエイリアスには先頭に空白がある.