1) mmlextension.xsl: m:xref fixed
<xsl:template match="m:lambda">
<xsl:variable name="charlength"><xsl:apply-templates select="*[position()=1]" mode="charcount"/></xsl:variable>
<xsl:template match="m:lambda">
<xsl:variable name="charlength"><xsl:apply-templates select="*[position()=1]" mode="charcount"/></xsl:variable>
- <m:mrow m:xref="{@id}">
+ <m:mrow>
+ <xsl:if test="@id">
+ <xsl:attribute name="m:xref">
+ <xsl:value-of select="@id"/>
+ </xsl:attribute>
+ </xsl:if>
<xsl:choose>
<xsl:when test="$charlength >= $framewidth">
<m:mtable align="baseline 1" equalrows="false" columnalign="left">
<xsl:choose>
<xsl:when test="$charlength >= $framewidth">
<m:mtable align="baseline 1" equalrows="false" columnalign="left">