\[ShortDownArrow]

  • Unicode: F52B.
  • x y is by default interpreted as ShortDownArrow[x,y].
  • Infix arrow operator.
Introduced in 1996
 (3.0)