German sharp S uppercase mapping

[Dominikus Dittes Scherkl]

Am 01.12.24 um 09:53 schrieb Daniel Buncic via Unicode:
> Am 01.12.2024 um 04:15 schrieb Markus Scherer via Unicode:
>> As a library implementer and German speaker, I have been looking out
>> for the supposed sea change in usage, and haven't seen it.
It's just 4 months that the new Duden is available. Even in the digital
era it will take some more time.

> minimum of characters.  My own university chose a font that does not let
> me write my name, Bunčić, let alone write a Russian translation in the
> same font.  Such minimal fonts also do not contain capital ẞ.
>
> But there definitely is change.
[...]
> (where the title is spelled “DER GROẞE GATSBY”).
>
> A few years ago, the number of capital ẞ you could see was exactly zero.
>   Now they are popping up more and more.  For the above reasons, they
> are not the majority yet, but they are increasing fast.  Language change
> is happening in front of our eyes.
Yep.
That so many sources still keeps the old SS is mainly so, because
checking which "SS" should be changed to "ẞ" and which not (because the
lowercase would also use "ss") is an error-prone manual task, that noone
is willing to pay for - especially for so little gain.

So I would expect the new form only occuring in new publications.

But in automatic text processing the old form is simply a bug that needs
to be fixed. The new form has to be the "default" - otherwise
implementations will proliferate this bug forever.