<m:mphantom><m:mtext>__</m:mtext></m:mphantom>
<xsl:for-each select="Decl|Def|Hidden">
<xsl:choose>
<xsl:when test="name(.)='Decl'">
<m:mphantom><m:mtext>__</m:mtext></m:mphantom>
<xsl:for-each select="Decl|Def|Hidden">
<xsl:choose>
<xsl:when test="name(.)='Decl'">