replaced ∈ (U+2208) with ∊ (U+220A)
replaced ∼ (U+223C) with ~ (U+007E)
added | (U+007C) as an alias for ∣ (U+2223)