This is documentation for Mathematica 6, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)
Mathematica Character Name

\[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.