LATIN CAPITAL LETTER SHARP S officially recognized

[Mathias Bynens via Unicode]

On Fri, Jun 30, 2017 at 5:34 PM, Michael Everson via Unicode
<unicode at unicode.org> 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, <http://unicode.org/policies/stability_policy.html#Case_Pair> says:

“If two characters form a case pair in a version of Unicode, they will
remain a case pair in each subsequent version of Unicode.

If two characters do not form a case pair in a version of Unicode,
they will never become a case pair in any subsequent version of
Unicode.”

��