• Infix ordering operator. • xy is by default interpreted as Succeeds[x,y]. • Used in mathematics to indicate various notions of partial ordering. • Often applied to functions and read "x dominates y". • See also: \[SucceedsEqual] , \[Precedes] , \[NotSucceeds] .
y is by default interpreted as Succeeds[x, y]. 