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