Glossary: Unicode definition is either informal or (possibly) incorrect

[ojeda]

Unicode is the colloquial name for the ISO/IEC 10646:2017 Universal Coded Character Set standard.

If the Glossary is defining terms, it should just say what Unicode standard it is referring to, without referring to the "colloquial name" (i.e. unnecessary / too informal).

Otherwise, if the Glossary is not defining the term, and instead is giving some extra information about what "Unicode" typically is, then it is likely people refer colloquially to the Consortium's Unicode Standard instead, and not the ISO/IEC International Standard, for instance. So more clarifications would be needed.

[PLeVasseur]

@kirtchev-adacore -- do you know if this is still relevant?

I see mention of definition of Unicode here.

Was the issue related to whether this is a precise enough definition?

[kirtchev-adacore]

Was the issue related to whether this is a precise enough definition?

Correct.

Looking at Wikipedia reveals that an alias of "Unicode" is "Universal Coded Character Set (UCS)ISO/IEC 10646", which is what we defined "Unicode" to be.

@ojeda It seems to me that "Consortium's Unicode Standard" and "ISO/IEC 10646" are the same thing, no?

[ojeda]

No, my understanding is that there are two standards: the Unicode Standard and the ISO/IEC one.

https://www.unicode.org/faq/unicode_iso

[kirtchev-adacore]

OK. @PLeVasseur this issue is still relevant then.

[ojeda]

I sent a quick PR with a suggestion for both issues: #617