\[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.
New to Mathematica? Find your learning path »
Have a question? Ask support »