\[DownArrow]

  • Unicode: 2193.
  • 中置形の矢印演算子．
  • x y はデフォルトでDownArrow[x,y]として解釈される．
  • 単調減少で極限に近付くことを示すのに使用される．
  • 論理norにも使用されることがある．
  • 前置形式で集合の閉包を示すのに使用されることもある．
  • 伸長可能文字．