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.

\[Nor]\[NotCongruent]

Not

¬ \[Not]

FilledSmallSquare Aliases: AliasIndicator!AliasIndicator, AliasIndicatornotAliasIndicator.

FilledSmallSquare Prefix operator with built-in evaluation rules.

FilledSmallSquare x is by default interpreted as Not[x], equivalent to !x.

FilledSmallSquare See The Mathematica Book: Section 3.10.4.

FilledSmallSquare See also: \[RightTee] , \[And] , \[Or] .

\[Nor]\[NotCongruent]