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

See Also

\[DownTeeArrow]  \[DownArrowBar]  \[DoubleDownArrow]  \[LeftDownVector]  \[UpArrow]

Tutorials

Introduced in 1996
(3.0)