DocumentationMathematicaThe Mathematica BookMathematica Reference GuideListing of Named Characters
NotPrecedes
\[NotPrecedes]
Infix ordering operator. x y is by default interpreted as NotPrecedes[x, y]. See Section 3.10.4. See also: \[Precedes] .