Documentation for infix (>+)

Documentation for infix (>+), assembled from the following types:

language documentation Sets, Bags, and Mixes

From Sets, Bags, and Mixes

(Sets, Bags, and Mixes) infix (>+)

multi sub infix:<<(>+)>>(Baggy $aBaggy $b --> Bool)
multi sub infix:<<(>+)>>(Any $aAny $b --> Bool)

Baggy superset of operator.

Returns True if $a is a Baggy superset of $b, i.e., if all the elements of $b are in $a and no element of $b is weighted heavier than that element is in $a.

infix ≽

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

Baggy superset of operator (alternate).

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