\[DownArrowBar]

  • Unicode: 2913.
  • 中置形の矢印演算子.
  • x y はデフォルトでDownArrowBar[x,y]として解釈される.
  • 深さを示すのに使用されることもある.
  • 伸長可能文字.
1996年に導入
(3.0)