\[DownArrow]

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