+ <xsl:for-each select="Decl|Def|Hidden">
+ <xsl:choose>
+ <xsl:when test="name(.)='Decl'">
+ <m:mrow helm:xref="{@helm:xref}">
+ <xsl:choose>
+ <xsl:when test="@name">
+ <m:mi><xsl:value-of select="@name"/></m:mi>
+ </xsl:when>
+ <xsl:otherwise>
+ <m:mi>_</m:mi>
+ </xsl:otherwise>
+ </xsl:choose>
+ <m:mo>:</m:mo>
+ <xsl:apply-templates select="./*[1]"/>
+ </m:mrow>
+ </xsl:when>
+ <xsl:when test="name(.)='Def'">
+ <m:mrow helm:xref="{@helm:xref}">
+ <xsl:choose>
+ <xsl:when test="@name">
+ <m:mi><xsl:value-of select="@name"/></m:mi>
+ </xsl:when>
+ <xsl:otherwise>
+ <m:mi>_</m:mi>
+ </xsl:otherwise>
+ </xsl:choose>
+ <m:mo>:=</m:mo>
+ <xsl:apply-templates select="./*[1]"/>
+ </m:mrow>
+ </xsl:when>
+ <xsl:otherwise>
+ <m:mrow helm:xref="{@helm:xref}">
+ <m:mi>_</m:mi>
+ <m:mo>:?</m:mo>
+ <m:mi>_</m:mi>
+ </m:mrow>
+ </xsl:otherwise>
+ </xsl:choose>
+ <xsl:if test="not (position() = last())">
+ <m:mo>;</m:mo>
+ </xsl:if>
+ </xsl:for-each>
+ <m:mo>|-</m:mo>