replaced ∈ (U+2208) with ∊ (U+220A)