Documentation for infix ≽

Documentation for infix ≽, assembled from the following types:

infix operator (>+)

From (>+)

((>+)) infix ≽

only sub infix:<>($a$b --> Bool)

Baggy superset of operator (alternate).

Equivalent to (>+), at codepoint U+227D (SUCCEEDS OR EQUAL TO).