True but this only applies to "simple case mappings" (those in the main datatase), not to extended mappings (which are locale dependant, such as mappings for dotted and undotted i in Turkish).
So the extended mappings can perfectly be changed for German: they are not part of the stability policy and designed to be extensible. And this is where you find the existing mapping from ß to SS (lossy case conversion), that will change to ẞ (non lossy case conversion). 2017-06-30 18:48 GMT+02:00 Mathias Bynens via Unicode <unicode@unicode.org>: > On Fri, Jun 30, 2017 at 5:34 PM, Michael Everson via Unicode > <unicode@unicode.org> wrote: > > > > It would be sensible to case-map ß to ẞ however. > > I’m hoping this can happen — converting ß to SS is lossy, so mapping > to ẞ would be far superior. > > However, <http://unicode.org/policies/stability_policy.html#Case_Pair> > says: > > “If two characters form a case pair in a version of Unicode, they will > remain a case pair in each subsequent version of Unicode. > > If two characters do not form a case pair in a version of Unicode, > they will never become a case pair in any subsequent version of > Unicode.” > > 😢 > >
