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

Frédéric WANG <[email protected]> Sat, 14 Mar 2015 15:29:48 +0100

Newsgroups	gmane.comp.web.mathematics
Message-ID	<[email protected]>

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

signature.asc (application/pgp-signature, 819 B)