\[NotLessLess]
• Infix ordering operator.
• x y is by default interpreted as NotLessLess[x, y].
• See Section 3.10.4.
• See also: \[LessLess] , \[NestedLessLess] , \[NotNestedLessLess] .
Usage
\[NotLessLess] Notes
y is by default interpreted as NotLessLess[x, y]. 
