infix ⊃

Documentation for infix ⊃, assembled from the following types:

infix operator (>)

From (>)

((>)) infix ⊃

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

Superset of operator (alternate).

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