Re: "number sign" in W3C Manual of Style

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