Documentation for infix ⊈

Documentation for infix ⊈, assembled from the following types:

infix operator (<=)

From (<=)

((<=)) infix ⊈

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

Neither subset of nor equal to operator.

Equivalent to !(<=), at codepoint U+2288 (NEITHER A SUBSET OF NOR EQUAL TO).