This is documentation for Mathematica 3, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)
 Documentation / Mathematica / The Mathematica Book / Reference Guide / Listing of Named Characters  /
DownArrow

\[DownArrow]
  • 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.
  • See The Mathematica Book: Section 3.10.4.
  • See also: \[DownTeeArrow], \[DownArrowBar], \[DoubleDownArrow], \[LeftDownVector], \[UpArrow].