[CorrectHorseBat]

In German you have the same, only within one language. ß can be written as ss if it isn't available in a font, and only in 2017 they added a capital version. So depending the font and the unicode version the number of letters can differ.

[kbelder]

"Traditionally, ⟨ß⟩ did not have a capital form, and was capitalized as ⟨SS⟩. Some type designers introduced capitalized variants. In 2017, the Council for German Orthography officially adopted a capital form ⟨ẞ⟩ as an acceptable variant, ending a long debate."

Thanks, that is interesting!

[guappa]

should "ß" == "ss" evaluate as true?

[birn559]

I don't see why it should. I also believe parent is wrong as there are unambiguous rules about when to use ß or ss.

Never thought of it but maybe there are rules that allow to visually present the code point for ß as ss? At least (from experience as a user) there seem to be a singular "ss" codepoint.

[CorrectHorseBat]

>also believe parent is wrong as there are unambiguous rules about when to use ß or ss.

I never said it was ambiguous, I said it depends on the unicode version and the font you are using. How is that wrong? (Seems like the capital of ß is still SS in the latest unicode but since ẞ is the preferred capital version now this should change in the future)

[birn559]

> How is that wrong? Not sure where, how or if it's defined as part of Unicode, but so far I assumed that for a Unicode grapheme there exists a notion of what the visual representation should look like. If Unicode still defines capital of ß as SS that's an error in Unicode due to slow adaption of the changes in the German language.

[weinzierl]

"ß as SS that's an error in Unicode"

It's not. Uppercase of ß has always been SS.

Before we had a separate codepoint in Unicode this caused problems with round-tripping between upper and lower case. So Unicode rightfully introduced a separate codepoint specifically for that use case in 2008.

This inspired designers to design a glyph for that codepoint looking similar to ß. Nothing wrong with that.

Some liked the idea and it got some foothold, so in 2017, the Council for German Orthography allowed it as an acceptable variant.

Maybe it will win, maybe not, but for now in standard German the uppercase of ß is still SS and Unicode rightfully reflects that.

[CorrectHorseBat]

In unicode the default is still SS [1] while the Germans seem to have changed it to ẞ [2]. That means now it's the same on every system, but once the unicode standard changes and some systems get updated and others not there will be different behavior of len("ß".upper()) around.

I don't know how or if systems deal with this, but ß should be printed as ss if ß is unavailable in the font. It's possible this is completely up to the user.

[1] https://unicode.org/faq/casemap_charprop.html [2] https://www.rechtschreibrat.com/DOX/RfdR_Amtliches-Regelwerk...

[weinzierl]

"In unicode the default is still SS [1] while the Germans seem to have changed it to ẞ [2]."

Where does the source corroborate that claim? Can you give is a hint where to find the source?

[weinzierl]

ẞ is not the preferred capital version, it is an acceptable variant (according to the Council for German Orthography).

[guappa]

well I don't speak german, I was asking

[birn559]

I see, wasn't clear to me on what level you were asking. The letter ß has never been generally equivalent to ss in the German language.

From a user experience perspective though it might be beneficial to pretend that "ß" == "ss" holds when parsing user input.