Documentation for infix ⊄

Documentation for infix ⊄, assembled from the following types:

infix operator (<)

From (<)

((<)) infix ⊄

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

Not a subset of operator.

Equivalent to !(<), at codepoint U+2284 (NOT A SUBSET OF).