Re: LATIN CAPITAL LETTER SHARP S officially recognized

2017-06-30 Thread Michael Everson via Unicode
It would be sensible to case-map ß to ẞ however. > On 30 Jun 2017, at 16:29, Otto Stolz via Unicode wrote: > > Hello, > > der Rat für deutsche Rechtschreibung which is responsible for the further > development of the official German orthography has finally recognized

Re: LATIN CAPITAL LETTER SHARP S officially recognized

2017-06-30 Thread Philippe Verdy via Unicode
True but this only applies to "simple case mappings" (those in the main datatase), not to extended mappings (which are locale dependant, such as mappings for dotted and undotted i in Turkish). So the extended mappings can perfectly be changed for German: they are not part of the stability policy

Re: LATIN CAPITAL LETTER SHARP S officially recognized

2017-06-30 Thread Mathias Bynens via Unicode
On Fri, Jun 30, 2017 at 5:34 PM, Michael Everson via Unicode wrote: > > It would be sensible to case-map ß to ẞ however. I’m hoping this can happen — converting ß to SS is lossy, so mapping to ẞ would be far superior. However,

LATIN CAPITAL LETTER SHARP S officially recognized

2017-06-30 Thread Otto Stolz via Unicode
Hello, der Rat für deutsche Rechtschreibung which is responsible for the further development of the official German ortho- graphy has finally recognized LATIN CAPITAL LETTER SHARP S as a possible upper-case equvalent for the LATIN SMALL LETTER SHARP S. The report announcing the change is dated

Re: LATIN CAPITAL LETTER SHARP S officially recognized

2017-06-30 Thread Christoph Päper via Unicode
Letters in some scripts are a class of two or more characters. Usually, all letters have the same number of such case variants. Rarely, characters may be constituents of different letters within the same script. A closed set of letters, usually with a canonical sort order, makes an alphabet.