Documentation Publicon Reference Special Characters
NotSucceeds
\[NotSucceeds]
• Infix ordering operator. • x y is by default interpreted as NotSucceeds[x, y].• See also: \[NotSucceedsEqual] , \[Succeeds] .
\[NotSucceeds]
y is by default interpreted as NotSucceeds[x, y].