\[DownRightVectorBar]

  • Unicode: 2957.
  • 中置形の矢印に準ずる演算子．
  • x y はデフォルトでDownRightVectorBar[x,y]として解釈される．
  • 伸長可能文字．