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 ⊃

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

Alternate superset of operator.

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