</m:mtr>
</m:mtable>
</xsl:when>
+ <xsl:when test="$name='ex_ind'">
+ <m:mtable align="baseline 1" equalrows="false" columnalign="left">
+ <m:mtr>
+ <m:mtd>
+ <m:mrow>
+ <xsl:choose>
+ <xsl:when test="name(*[2])='m:apply'">
+ <xsl:apply-templates select="*[2]"/>
+ </xsl:when>
+ <xsl:otherwise>
+ <m:mtext>Consider </m:mtext>
+ <xsl:apply-templates select="*[2]"/>
+ </xsl:otherwise>
+ </xsl:choose>
+ </m:mrow>
+ </m:mtd>
+ </m:mtr>
+ <m:mtr>
+ <m:mtd>
+ <m:mtext>Let</m:mtext>
+ <m:mphantom><m:mtext>_</m:mtext></m:mphantom>
+ <xsl:apply-templates select="*[3]"/>
+ <m:mtext>:</m:mtext>
+ <xsl:apply-templates select="*[4]"/>
+ <m:mphantom><m:mtext>_</m:mtext></m:mphantom>
+ <m:mtext>such that</m:mtext>
+ <m:mphantom><m:mtext>_</m:mtext></m:mphantom>
+ <m:mtext>(</m:mtext>
+ <xsl:apply-templates select="*[5]"/>
+ <m:mtext>)</m:mtext>
+ <m:mphantom><m:mtext>_</m:mtext></m:mphantom>
+ <xsl:apply-templates select="*[6]"/>
+ </m:mtd>
+ </m:mtr>
+ <m:mtr>
+ <m:mtd>
+ <m:mrow>
+ <xsl:apply-templates select="*[7]"/>
+ </m:mrow>
+ </m:mtd>
+ </m:mtr>
+ </m:mtable>
+ </xsl:when>
<xsl:otherwise>
<m:ci>ERROR</m:ci>
</xsl:otherwise>
<m:mtr>
<m:mtd>
<m:mphantom><m:mtext>__</m:mtext></m:mphantom>
- <m:mo helm:xref="m:in/@helm:xref">
- =
- </m:mo>
+ <m:mo helm:xref="{m:in/@helm:xref}">=</m:mo>
<xsl:apply-templates select="."/>
</m:mtd>
</m:mtr>