\[DoubleLeftArrow]

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