4 ms·

It's a bug. There is a capital eszett now, as of 2017. https://en.wikipedia.org/wiki/%C3%9F https://en.wikipedia.org/wiki/%C3%9F

foepys 5y ago
It's not a bug. It's a legacy artifact that cannot be changed easily because of backwards compatibility.
dredmorbius 5y ago
As noted in the discussion, this isn't the sole case. There are also non-invariant case-modifying examples, where uppercase -> lowercase -> uppercase (or l -> u -> l) does not produce the input string.
andi999 5y ago
If you read the official announcement for the German language (cited in the wiki article) there it states that SS is the capitalization of ß, but ẞ instead is permitted. So the standard Form is double S.
- haimez 5y ago
  Question: is there any reason to expect that the double s form will be replaced, or is this a more of a permanent quirk of a language adopting quirks from their neighbors?
  - andi999 5y ago
    Difficult to say. The double s Form has to stay (for small and capital) to not deviate from Swiss German too much (has to stay compatible). Generally older people think capital ẞ is ugly, but maybe this will change over generations. Best bet (for me) is that all ß fall out of favor and Germany goes the Swiss way. Let's talk in 60 years again.
    - iggldiggl 5y ago
      When I first heard about it a few years ago I did indeed think that it was ugly-looking and the whole idea rather pointless. I've recently re-discovered it, though and somehow this time around actually taken a liking to it, and have smuggled it into a few reports I've had to prepare since then.
mkotowski 5y ago
Not exactly. If I remember correctly (at least 10 years ago) the official way in Germany to uppercase ß was to replace it with two capital “s”.
deleted 5y ago
[deleted]
lifthrasiir 5y ago
It is not a bug. That very character was submitted to Unicode by none other than DIN (the German national standardization organization) [1] and it was clearly indicated that the capital eszett should be encoded without case folding to the original eszett (p. 4). As others mentioned the capital eszett is allowed but not enforced, so DIN didn't want to break the original case mapping between ß and SS. And because of the Unicode stability policy [2], it can no longer be made into a case pair even though DIN changes its mind. [1] http://std.dkuug.dk/jtc1/sc2/wg2/docs/n3227.pdf http://std.dkuug.dk/jtc1/sc2/wg2/docs/n3227.pdf [2] https://www.unicode.org/policies/stability_policy.html#Case_Pair https://www.unicode.org/policies/stability_policy.html#Case_...

foepys 5y ago

It's not a bug. It's a legacy artifact that cannot be changed easily because of backwards compatibility.

dredmorbius 5y ago

As noted in the discussion, this isn't the sole case. There are also non-invariant case-modifying examples, where uppercase -> lowercase -> uppercase (or l -> u -> l) does not produce the input string.

andi999 5y ago

If you read the official announcement for the German language (cited in the wiki article) there it states that SS is the capitalization of ß, but ẞ instead is permitted. So the standard Form is double S.

haimez 5y ago
Question: is there any reason to expect that the double s form will be replaced, or is this a more of a permanent quirk of a language adopting quirks from their neighbors?
- andi999 5y ago
  Difficult to say. The double s Form has to stay (for small and capital) to not deviate from Swiss German too much (has to stay compatible). Generally older people think capital ẞ is ugly, but maybe this will change over generations. Best bet (for me) is that all ß fall out of favor and Germany goes the Swiss way. Let's talk in 60 years again.
  - iggldiggl 5y ago
    When I first heard about it a few years ago I did indeed think that it was ugly-looking and the whole idea rather pointless. I've recently re-discovered it, though and somehow this time around actually taken a liking to it, and have smuggled it into a few reports I've had to prepare since then.

mkotowski 5y ago

Not exactly. If I remember correctly (at least 10 years ago) the official way in Germany to uppercase ß was to replace it with two capital “s”.

deleted 5y ago

[deleted]

lifthrasiir 5y ago

It is not a bug. That very character was submitted to Unicode by none other than DIN (the German national standardization organization) [1] and it was clearly indicated that the capital eszett should be encoded without case folding to the original eszett (p. 4). As others mentioned the capital eszett is allowed but not enforced, so DIN didn't want to break the original case mapping between ß and SS. And because of the Unicode stability policy [2], it can no longer be made into a case pair even though DIN changes its mind. [1] http://std.dkuug.dk/jtc1/sc2/wg2/docs/n3227.pdf http://std.dkuug.dk/jtc1/sc2/wg2/docs/n3227.pdf [2] https://www.unicode.org/policies/stability_policy.html#Case_Pair https://www.unicode.org/policies/stability_policy.html#Case_...