Documentation for infix ⊆

Documentation for infix ⊆, assembled from the following types:

infix operator (<=)

From (<=)

((<=)) infix ⊆

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

Subset of or equal to operator (alternate).

Equivalent to (<=), at codepoint U+2286 (SUBSET OF OR EQUAL TO).