Documentation for infix ∉

Documentation for infix ∉, assembled from the following types:

infix operator (elem)

From (elem)

((elem)) infix ∉

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

Non-membership operator.

Equivalent to !(elem), i.e., returns True if $a is not an element of $b, at codepoint U+2209 (NOT AN ELEMENT OF).