Re: Accents in the operator dictionary

On 10/06/2010 12:35, Frédéric WANG wrote:
> Thanks, it looks good (there is just a typo elment => element in
> paragraph 3.2.5.7.2).

oops I just fixed that in the xml sources (it may be too late for the 
next draft, which is hopefully imminent)

> BTW, I wrote a script some months ago to compare Mozilla operator
> dictionary against the one suggested in appendix C. Unfortunately, it no
> longer works because the structure of the HTML table in appendixc.html
> has changed. I wonder if this table of operators is generated from
> something easier to parse and with a more stable format, for example an
> XML file? If so, would it be possible to make it public? This would make
> it more convenient for implementers who want to align on the W3C's
> dictionary.
>

Yes sorry, it's all generated from unicode.xml same as the entities 
draft and the mathml dtd


warning this is a bit big you may want to save to file rather than load 
it into the browser (where it will style itself as an html table)

http://www.w3.org/2003/entities/2007xml/unicode.xml

look for entries of the form:

....


          <operator-dictionary form="infix" lspace="4" rspace="4" 
priority="390"/>
          <description unicode="1.1">MULTIPLICATION SIGN</description>
       </character>

a RelaxNG schema and other tools for that file are linked from


http://www.w3.org/TR/xml-entity-names/#source


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 Thursday, 10 June 2010 11:51:51 UTC