- From: Chris Lilley <chris@w3.org>
- Date: Sun, 26 Aug 2001 17:31:02 +0200
- 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 UTC