\[ShortDownArrow]

  • Unicode: F52B.
  • x y はデフォルトでShortDownArrow[x,y]として解釈される
  • 中置形の矢印演算子．