This is documentation for Mathematica 4, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)
Wolfram Research, Inc.

\[DoubleVerticalBar]\[DownArrowBar]

DownArrow

DownArrow \[DownArrow]

FilledSmallSquare Infix arrow operator.

FilledSmallSquarex y is by default interpreted as DownArrow[x, y].

FilledSmallSquare Used to indicate monotonic decrease to a limit.

FilledSmallSquare Sometimes used for logical nor.

FilledSmallSquare Sometimes used in prefix form to indicate the closure of a set.

FilledSmallSquare Extensible character.

FilledSmallSquare See The Mathematica Book: Section 3.10.4.

FilledSmallSquare See also: \[DownTeeArrow] , \[DownArrowBar] , \[DoubleDownArrow] , \[LeftDownVector] , \[UpArrow] .

\[DoubleVerticalBar]\[DownArrowBar]