29 Sept 2018, 15:57

@cernel Normalization typically only handles diacritics, and so would not modify the character examples you provided.

If those characters are typically used in maps, and we have to handle them, Java does provide a way to customize how strings are collated so that, for example, "ss" would be considered equal to "ß". However, that's a bit trickier to get right in all scenarios.

Are there examples of such characters in maps today? Or are you simply envisioning them as a possibility in the future?