\[ShortDownArrow]

  • Unicode: F52B.
  • x y is by default interpreted as ShortDownArrow[x,y].
  • Infix arrow operator.