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



LeftTee \[LeftTee]

FilledSmallSquare Alias: AliasIndicatorlTAliasIndicator.

FilledSmallSquare Infix operator.

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

FilledSmallSquarex y z groups as (x y) z.

FilledSmallSquare Used in mathematics to indicate the lack of logical implication or proof.

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

FilledSmallSquare See also: \[DoubleLeftTee] , \[LeftTeeArrow] , \[LeftTeeVector] , \[RightTee] , \[DownTee] , \[LeftBracketingBar] .