Remaining errors in unicode.xml (http://www.w3.org/TR/xml-entity-names/)

Hi all,

I don't know if there has been progress regarding the fixes to
unicode.xml, but I still see two obvious errors in the AMS set:

For U+21CE: <AMS>\nleftrightarrow</AMS> (should be an uppercase L as for
other sets and similarly to U+21CD ; note that this is different from
U+21AE)
For U+2306: <AMS>\doublebarwedge ?</AMS>  (question mark should be removed)

Thanks,

-- 
Frédéric Wang
maths-informatique-jeux.com/blog/frederic

Received on Saturday, 14 March 2015 14:30:12 UTC