</xsl:choose>
</xsl:variable>
<!--exists-->
- <xsl:variable name="exists">
+ <xsl:variable name="NUPRLexists">
<xsl:choose>
<xsl:when test="$UNICODEvsSYMBOL = 'symbol'">$</xsl:when>
<xsl:when test="$UNICODEvsSYMBOL = 'unicode'">∃</xsl:when>
<xsl:template mode="inline" match="m:apply[m:exists]">
<xsl:call-template name="mksymbol">
- <xsl:with-param name="symbol" select="$exists"/>
+ <xsl:with-param name="symbol" select="$NUPRLexists"/>
<xsl:with-param name="color" select="'blue'"/>
<xsl:with-param name="size" select="'+0'"/>
</xsl:call-template>
<xsl:choose>
<xsl:when test="$charlength > $framewidth">
<xsl:call-template name="mksymbol">
- <xsl:with-param name="symbol" select="$exists"/>
+ <xsl:with-param name="symbol" select="$NUPRLexists"/>
<xsl:with-param name="color" select="'blue'"/>
<xsl:with-param name="size" select="'+0'"/>
</xsl:call-template>
</xsl:if>
</xsl:template>
+<!-- NuPRLDefinition -->
+
+<xsl:template match="NuPrlDefinition">
+ <xsl:apply-templates select="*[1]"/>
+ <xsl:text> := </xsl:text>
+ <xsl:apply-templates select="*[2]"/>
+</xsl:template>
+
<!-- DEFINITION -->
<xsl:template match="Definition">