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:<<(>)>>(Any $aAny $b --> Bool)
multi sub infix:<<(>)>>(Setty $aSetty $b --> Bool)

Superset of operator.

Like (<) with reversed arguments. Returns True if $a is a strict superset of $b.

infix ⊃

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

Superset of operator (alternate).

Equivalent to (>), at codepoint U+2283 (SUPERSET OF).

infix ⊅

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

Not a superset of operator.

Equivalent to !(>), at codepoint U+2285 (NOT A SUPERSET OF).