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

FreeQAtomQ

TrueQ

FilledSmallSquareTrueQ[expr] yields True if expr is True, and yields False otherwise.

FilledSmallSquare Example: TrueQ[x==y] LongRightArrow.

FilledSmallSquare You can use TrueQ to "assume" that a test fails when its outcome is not clear.

FilledSmallSquareTrueQ[expr] is equivalent to If[expr, True, False, False].

FilledSmallSquare See The Mathematica Book: Section 2.5.8.

FilledSmallSquare See also: If, Condition, SameQ.

FreeQAtomQ