Documentation for infix ∌

Documentation for infix ∌, assembled from the following types:

infix operator (cont)

From (cont)

((cont)) infix ∌

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

Does not contain operator.

Equivalent to !(cont), i.e., returns True if $a does not contain $b, at codepoint U+220C (DOES NOT CONTAIN AS MEMBER).