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.

\[DoubleRightArrow]\[DoubleStruckA] ... \[DoubleStruckZ]

DoubleRightTee

DoubleRightTee \[DoubleRightTee]

FilledSmallSquare Infix operator.

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

FilledSmallSquarex y z groups as x (y z).

FilledSmallSquare Used in mathematics to indicate various strong forms of logical implication—often tautological implication.

FilledSmallSquare In prefix form, used to indicate a tautology.

FilledSmallSquare See The Mathematica Book: Section 3.10.4 and Section 3.10.4.

FilledSmallSquare See also: \[RightTee] , \[DoubleLeftTee] .

\[DoubleRightArrow]\[DoubleStruckA] ... \[DoubleStruckZ]