infix ∈

Documentation for infix assembled from the following types:

language documentation Sets, bags, and mixes

From Sets, bags, and mixes

(Sets, bags, and mixes) infix ∈

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

Alternate membership operator.

Equivalent to (elem), at codepoint U+2208 (ELEMENT OF).