W3C home > Mailing lists > Public > www-math@w3.org > April 2008

Re: several messages about New Vocabularies in text/html

From: David Carlisle <davidc@nag.co.uk>
Date: Mon, 7 Apr 2008 11:58:08 +0100
Message-Id: <200804071058.m37Aw8AT026628@edinburgh.nag.co.uk>
To: ap@webkit.org
Cc: public-html@w3.org, www-math@w3.org


   Besides, font support for U+027E8 MATHEMATICAL LEFT ANGLE BRACKET  
   seems to be rather poor at the moment - on my machine, there is only  
   one font that has it.


This is always a major consideration (and a major cause of difference
between the mathml set and for example unicode/stix. When designing
unicode n (for some n bigger than 3) or a specific new font set such as
stix,  it makes a lot of sense to recommend use of a particular (new)
slot. But that doesn't necessarily mean that existing entity names should
be remapped to the new slots as it can take  decades for installed font
sets to catch up.  It doesn't necessarily mean that mappings should ever
change, but each character needs to be considered individually.

Hopefully font sets such as stix will mean that it is easy (and free)
to get basic default coverage of all these "new" unicode 3.x
characracters at the font level, so perhaps it does now make sense to
be braver about changing some existing entity mappings, although I must
admit my working assumption had been  that the html mappings were
unchangeable (even though they are "inconvenient"  in lots of places).


David

________________________________________________________________________
The Numerical Algorithms Group Ltd is a company registered in England
and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.

This e-mail has been scanned for all viruses by Star. The service is
powered by MessageLabs. 
________________________________________________________________________
Received on Monday, 7 April 2008 10:58:55 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:13:01 GMT