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).