W3C home > Mailing lists > Public > spec-prod@w3.org > July to September 2006

Re: "number sign" in W3C Manual of Style

From: Ian B. Jacobs <ij@w3.org>
Date: Thu, 10 Aug 2006 12:18:36 -0500
To: Susan Lesch <lesch@w3.org>
Cc: Thomas Baker <baker@sub.uni-goettingen.de>, spec-prod@w3.org
Message-Id: <1155230316.11076.210.camel@jebediah>
On Thu, 2006-08-10 at 10:07 -0700, Susan Lesch wrote:
> Ian B. Jacobs wrote:
> > What if we remove the "#" entry entirely?
> 
> What if we remove all the terms? :-)
> 
> The purpose of this one as I recall was to suggest use of the first Unicode
> name (for W3C specifications).

I don't know whether it's cost-effective here to discuss how different
communities refer to this character. It may cause less confusion to
remove the entry and may not be worth trying to capture (possibly
inaccurately) how the term is used.

 - Ian

-- 
Ian Jacobs (ij@w3.org)   http://www.w3.org/People/Jacobs
Tel:                     +1 718 260-9447

Received on Thursday, 10 August 2006 17:19:27 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 10 March 2012 06:19:13 GMT