> And you can use this to cleanly write curried functions (often predicates) with their arguments flipped But unicode in code is terser. Instead of `elem`, we

> And you can use this to cleanly write curried functions (often predicates) with their arguments flipped But unicode in code is terser. Instead of `elem`, we could use ∈ [U+2208]. To flip parameters, we could use the bidi-mirrored glyph, i.e. ∋ [U+220B, the bidi-mirror of U+2208]. In fact we could even make it a feature of the language grammar to automatically detect whether a mirrored glyph is being used, and perform the transformation. We could even automatically detect and transform canonically equivalent graphemes using the non-spacing version of `not`, e.g. ∉ [U+2209, canonically equivalent to U+2208,U+0338], and ∌ [U+220C, mirror of U+2209 and equiv to U+220B,U+0338].