Succeeds ()

WML link


Succeeds[xy, ...]

displays xy ≻ ...

SubsetEqual
SucceedsEqual