\[DownArrow]

  • Unicode: 2193.
  • Infix arrow operator.
  • x y is by default interpreted as DownArrow[x,y].
  • Used to indicate monotonic decrease to a limit.
  • Sometimes used for logical nor.
  • Sometimes used in prefix form to indicate the closure of a set.
  • Extensible character.