Diacritics update: still working on it, but making progress.
@rutherford I think you forgot the uppercase ß: ẞ
haha jk you only need that for passports
@Lutrinus That's a can of worms I'm going to avoid for now, at least until I speak to some pros about it
@rutherford they just introduced it. Usually, if in german you write all caps, ß just becomes SS, so Straße -> STRASSE. On Passports, names have to be all caps, which is a problem if you have an ß in your name, because then your name is changed
@Lutrinus It's a controversial topic though, 'ß' has historically never had a capital form (and officially isn't even a letter). Some people strongly support it, but I have heard good arguments against.
@rutherford Yeah, but I guess it's just a legal formality. People would get in trouble at borders because their names were written differently on different documents. I've never used it.
@Lutrinus One could argue that educating passport control officials about the ß might be better than inventing a new symbol, but then again, I don't know the specifics.
It's certainly true that having a string with different character lengths depending on whether it's upper or lowercase could be problematic.
I have a hard time imagining any OCR-system at an airport that can’t deal with lowercase letters. They were able to do so in the 1960s.
Revel in the marvels of the universe. We are a collective of forward-thinking individuals who strive to better ourselves and our surroundings through constant creation. We express ourselves through music, art, games, and writing. We also put great value in play. A warm welcome to any like-minded people who feel these ideals resonate with them. Check out our Patreon to see our donations.