NotLessSlantEqual (Built-in Mathematica Symbol)

NotLessSlantEqual[x, y, ...] displays as x \[NotLessSlantEqual] y \[NotLessSlantEqual] ....

NotPrecedesSlantEqual (Built-in Mathematica Symbol)

NotPrecedesSlantEqual[x, y, ...] displays as x \[NotPrecedesSlantEqual] y \[NotPrecedesSlantEqual] ....

NotRightTriangleEqual (Built-in Mathematica Symbol)

NotRightTriangleEqual[x, y, ...] displays as x \[NotRightTriangleEqual] y \[NotRightTriangleEqual] ....

NotSquareSubsetEqual (Built-in Mathematica Symbol)

NotSquareSubsetEqual[x, y, ...] displays as x \[NotSquareSubsetEqual] y \[NotSquareSubsetEqual] ....

NotSquareSupersetEqual (Built-in Mathematica Symbol)

NotSquareSupersetEqual[x, y, ...] displays as x \[NotSquareSupersetEqual] y \[NotSquareSupersetEqual] ....

NotSucceedsSlantEqual (Built-in Mathematica Symbol)

NotSucceedsSlantEqual[x, y, ...] displays as x \[NotSucceedsSlantEqual] y \[NotSucceedsSlantEqual] ....

NotTildeFullEqual (Built-in Mathematica Symbol)

NotTildeFullEqual[x, y, ...] displays as x \[NotTildeFullEqual] y \[NotTildeFullEqual] ....

Implies (Built-in Mathematica Symbol)

Implies[p, q] represents the logical implication p \[DoubleRightArrow] q.

Logic & Boolean Algebra (Mathematica Guide)

Mathematica represents Boolean expressions in symbolic form, so they can not only be evaluated, but also be symbolically manipulated and transformed. Incorporating ...

The Representation of Equations and ... (Mathematica Tutorial)

Mathematica treats equations as logical statements. If you type in an equation like x^2+3x==2, Mathematica interprets this as a logical statement which asserts that x^2+3x is ...