Re: ∈ is not ∈...?

> http://www.w3.org/TR/MathML2/bycodes.html)
It doesn't of course matter what that file says isin is defined to be
(as the XML parser doesn't read the spec) what matters is what the
dtd you are using says isin is defined to be.

Now bycodes.html and the dtd are both generated from unicode.xml by XSLT
(using saxon6 as it happens) so that they should be consistent, but
unicode.xml has a long history (at least 8 years) so that doesn't
guarantee that every version of bycodes.html ever generated is
consistent with every version of the DTD.  Although I don't recall any
changes to isin, and the current version of the dtd does define it to be 8712.

Just look in your dtd to see what it is defined to be, or just do
<xsl:value-of select="Body"/>
and see what character is in the input.

Incidentally why use string-to-codepoints rather than just testing the
string?
text()[string-to-codepoints(.)[1]=8712]
is just a long way of writing
text()[.='&#8712;']


David