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