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? 

No.

> 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.

-- 
Chris
Received on Sunday, 26 August 2001 11:31:11 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 19:16:57 GMT