bug#42064: 28.0.50; German "Sharp S" is capitalized inconsistenly

["Philip K." <philip@warpmail.net>]

Eli Zaretskii <eliz@gnu.org> writes:

>> From: "Philip K." <philip@warpmail.net>
>> Date: Fri, 26 Jun 2020 20:44:55 +0200
>> 
>> The german "Sharp S" (ß), seems to be capitalized inconsistenly,
>> depending on the system:
>> 
>> - The german postfix input method, typing "SZ" inserts "ẞ"
>> - If a buffer already contains a "ß", running upcase-dwim generates
>>   "SS". Lowercasing this results in "ss" unsurprisingly, while "ẞ"
>>   generates "ß".
>> 
>> Both behaviours are fine in their own right, but don't seem to make a
>> lot of sense together.
>
> Do you have a proposal for how to improve this?  The problem, AFAIU,
> is that there are different preference, each one of which is
> legitimate, so the only way forward, it seems, is to introduce some
> user options to select the desired behavior.

First off, I'm not a german native speaker, so there might be things I
don't know of. Otherwise, I think a user option would be a good idea. If
it turns out to not be practical, for whatever reason, I would instead
say that (upcase "ß") should evaluate to "ẞ", as it appears to the "more
correct" of the two options ("ss" or "SS" is usually written when the
"ß" cannot be used), at least according to some[0]:

> In 2016, the Council for German Orthography proposed the introduction
> of optional use of ẞ in its ruleset (i.e. variants STRASSE vs. STRAẞE
> would be accepted as equally valid).[19] The rule was officially
> adopted in 2017.[20]

[0] https://en.wikipedia.org/wiki/%C3%9F#Capital_form

-- 
	Philip K.