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

Documentation / Mathematica / The Mathematica Book / Mathematica Reference Guide / Listing of Named Characters /

DoubleLeftTee

DoubleLeftTee \[DoubleLeftTee]

FilledSmallSquare Infix operator.

FilledSmallSquare x y is by default interpreted as DoubleLeftTee[x, y].

FilledSmallSquare x y z groups as (x y) z.

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

FilledSmallSquare See Section 3.10.4 and Section 3.10.4.

FilledSmallSquare See also: \[LeftTee] , \[DoubleRightTee] .