On Wed, Sep 02, 2020 at 11:36:36PM +1000, G. Branden Robinson wrote: > > > -\[char223] \[char223] 223 germandbls u00DF German double s (sharp s) > > > +\[char223] \[char223] 223 germandbls u00DF lowercase sharp s > > [there is no uppercase Eszett] > > Au contraire! It's U+1E9E, added in Unicode 5.0.[1]
Also adopted by the Council for German Orthography in 2017 (https://www.rechtschreibrat.com/DOX/rfdr_Regeln_2016_veroeffentlicht_2017.pdf, 2.3 ยง 25). It's not part of the orthography I learned in school either, and I imagine there are a fair few native speakers who prefer not to use it (it is ever thus), but it seems reasonable for groff to follow the official rules. -- Colin Watson (he/him) [[email protected]]
