W3C home > Mailing lists > Public > www-international@w3.org > July to September 2001

Re: Unicode character names

From: Chris Lilley <chris@w3.org>
Date: Sun, 26 Aug 2001 17:31:02 +0200
Message-ID: <3B891636.AE6069B4@w3.org>
To: Susan Lesch <lesch@w3.org>
CC: www-international@w3.org, fyergeau@alis.com

Susan Lesch wrote:

> My question is this. Is PERIOD outdated? 


> Is it correct to refer to this
> character (.) as "full stop, dot, or decimal point, and NOT period"?
> (Or is PERIOD capitalized to show it is the best alias?)

It is capitalized to show trhat it is the preferred name, yes.

I suggest that W3C specs should not be required to capitalize character
names, however.

Received on Sunday, 26 August 2001 11:31:11 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:40:45 UTC