infix ∋

Documentation for infix ∋, assembled from the following types:

infix operator (cont)

From (cont)

((cont)) infix ∋

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

Contains operator (alternate).

Equivalent to (cont), at codepoint U+220B (CONTAINS AS MEMBER).