Documentation for infix ⊅

Documentation for infix ⊅, assembled from the following types:

infix operator (>)

From (>)

((>)) infix ⊅

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

Not a superset of operator.

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