Closed msiebuhr closed 12 years ago
Short status: The script w3c-xml2json.js
spits out a JSON-document where each relevant char has an altnames
-object with sub-keys for latex
and html
.
compact-json.js
need to understand this format and incorporate it into the output.
W3C Has an XML file with HTML/XHTML/LaTeX/... aliases for what looks like most of unicode: http://www.w3.org/2003/entities/2007xml/unicode.xml