Swapped arguments order for ∈∉, added ∋∌