Reversed syntax for ∈