typo fix \ni -> \in