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

On 14/03/2015 14:29, Frédéric WANG wrote:
> 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,
>

Thanks, fixed those in latest checkin. The ? was I suspect showing some
doubt about that character and I note that U+2A5E was added at Unicode
3.2 which looks very similar and unicode-math assigns \doublebarwedge
giving the new name \vardoublebarwedge to U+2306.

I've just removed the ? for now, but I wonder if the AMS entry should
align with unicode-math. I'll check with Barbara how she aligns the AMS
name to STIX.

David