<xsl:for-each select="Conjecture">
<m:mtr>
<m:mtd>
- <m:mrow>
+ <m:mrow helm:xref="{@helm:xref}">
<m:mphantom><m:mtext>__</m:mtext></m:mphantom>
<xsl:for-each select="Decl|Def|Hidden">
<xsl:choose>
<xsl:when test="name(.)='Decl'">
- <m:mrow>
+ <m:mrow helm:xref="{@helm:xref}">
<xsl:choose>
<xsl:when test="@name">
<m:mi><xsl:value-of select="@name"/></m:mi>
</m:mrow>
</xsl:when>
<xsl:when test="name(.)='Def'">
- <m:mrow>
+ <m:mrow helm:xref="{@helm:xref}">
<xsl:choose>
<xsl:when test="@name">
<m:mi><xsl:value-of select="@name"/></m:mi>
</m:mrow>
</xsl:when>
<xsl:otherwise>
- <m:mrow>
+ <m:mrow helm:xref="{@helm:xref}">
<m:mi>_</m:mi>
<m:mo>:?</m:mo>
<m:mi>_</m:mi>
<xsl:for-each select="Decl|Def">
<m:mtr>
<m:mtd>
- <m:mrow>
+ <m:mrow helm:xref="{@helm:xref}">
<m:mi><xsl:value-of select="@name"/></m:mi>
<xsl:choose>
<xsl:when test="name(.) = 'Decl'">