- <xsl:template mode="inline" match="m:apply[m:not]">
- <xsl:variable name="uri">
- <xsl:value-of select="m:not/@definitionURL"/>
- </xsl:variable>
- <a href="{$uri}">
- <xsl:call-template name="mksymbol-init">
- <xsl:with-param name="symbol" select="'not'"/>
- </xsl:call-template>
- </a>
- <xsl:apply-templates mode="inline" select="*[2]"/>
- </xsl:template>
+<xsl:template mode="inline" match="m:apply[m:not]">
+ <xsl:variable name="uri"><xsl:value-of select="m:not/@definitionURL"/></xsl:variable>
+ <xsl:choose>
+ <xsl:when test="$uri != ''">
+ <a href="{$uri}">
+ <xsl:call-template name="mksymbol-init">
+ <xsl:with-param name="symbol" select="'not'"/>
+ </xsl:call-template>
+ </a>
+ </xsl:when>
+ <xsl:otherwise>
+ <xsl:call-template name="mksymbol-init">
+ <xsl:with-param name="symbol" select="'not'"/>
+ </xsl:call-template>
+ </xsl:otherwise>
+ </xsl:choose>
+ <xsl:apply-templates mode="inline" select="*[2]"/>
+</xsl:template>