<!--and-->
<xsl:variable name="and">
<xsl:choose>
- <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">Ù</xsl:when>
- <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">∧</xsl:when>
+ <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">Ù</xsl:when>
+ <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">∧</xsl:when>
<xsl:otherwise>???</xsl:otherwise>
</xsl:choose>
</xsl:variable>
<!--or-->
<xsl:variable name="or">
<xsl:choose>
- <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">Ú</xsl:when>
- <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">∨</xsl:when>
+ <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">Ú</xsl:when>
+ <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">∨</xsl:when>
<xsl:otherwise>???</xsl:otherwise>
</xsl:choose>
</xsl:variable>
<!--iff-->
<xsl:variable name="iff">
<xsl:choose>
- <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">Û</xsl:when>
- <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">⇔</xsl:when>
+ <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">Û</xsl:when>
+ <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">⇔</xsl:when>
<xsl:otherwise>???</xsl:otherwise>
</xsl:choose>
</xsl:variable>
<!--not-->
<xsl:variable name="not">
<xsl:choose>
- <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">Ø</xsl:when>
- <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">¬</xsl:when>
+ <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">Ø</xsl:when>
+ <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">¬</xsl:when>
<xsl:otherwise>???</xsl:otherwise>
</xsl:choose>
</xsl:variable>
<!--eq-->
<xsl:variable name="eq">
<xsl:choose>
- <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">=</xsl:when>
- <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">=</xsl:when>
+ <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">=</xsl:when>
+ <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">=</xsl:when>
<xsl:otherwise>???</xsl:otherwise>
</xsl:choose>
</xsl:variable>
<!--neq-->
<xsl:variable name="neq">
<xsl:choose>
- <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">¹</xsl:when>
- <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">≠</xsl:when>
+ <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">¹</xsl:when>
+ <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">≠</xsl:when>
<xsl:otherwise>???</xsl:otherwise>
</xsl:choose>
</xsl:variable>
<!--exists-->
<xsl:variable name="exists">
<xsl:choose>
- <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'symbol'">$</xsl:when>
- <xsl:when test="$PIPPOUNICODEvsSYMBOL = 'unicode'">∃</xsl:when>
+ <xsl:when test="$UNICODEvsSYMBOL = 'symbol'">$</xsl:when>
+ <xsl:when test="$UNICODEvsSYMBOL = 'unicode'">∃</xsl:when>
<xsl:otherwise>???</xsl:otherwise>
</xsl:choose>
</xsl:variable>