summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/stex/xsl/symbols.xsl
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/xsl/symbols.xsl')
-rw-r--r--Master/texmf-dist/source/latex/stex/xsl/symbols.xsl112
1 files changed, 0 insertions, 112 deletions
diff --git a/Master/texmf-dist/source/latex/stex/xsl/symbols.xsl b/Master/texmf-dist/source/latex/stex/xsl/symbols.xsl
deleted file mode 100644
index 23d03cb6472..00000000000
--- a/Master/texmf-dist/source/latex/stex/xsl/symbols.xsl
+++ /dev/null
@@ -1,112 +0,0 @@
-<?xml version="1.0" encoding="utf-8"?>
-<!-- An XSL style sheet for transforming LaTeXML symbols to OMDoc (Open Mathematical Documents).
- $Id: symbols.xsl 1858 2011-08-30 16:14:23Z kohlhase $
- $HeadURL: https://svn.kwarc.info/repos/stex/branches/stex+xhtml/xsl/symbols.xsl $
- send bug-reports, patches, suggestions to users@omdoc.org or developers@omdoc.org
-
- Copyright (c) 2000 - 2002 Michael Kohlhase,
- XSLT 2.0 port by Christoph Lange 2006
-
- This library is free software; you can redistribute it and/or
- modify it under the terms of the GNU Lesser General Public
- License as published by the Free Software Foundation; either
- version 2.1 of the License, or (at your option) any later version.
-
- This library is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
- Lesser General Public License for more details.
-
- You should have received a copy of the GNU Lesser General Public
- License along with this library; if not, write to the Free Software
- Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
--->
-<xsl:stylesheet version="1.0"
- xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
- xmlns="http://omdoc.org/ns"
- xmlns:omdoc="http://omdoc.org/ns"
- xmlns:ltx="http://dlmf.nist.gov/LaTeXML"
- xmlns:om="http://www.openmath.org/OpenMath"
- exclude-result-prefixes="xsl omdoc ltx om">
-
-<xsl:output method="xml" indent="yes" cdata-section-elements="data"/>
-<xsl:strip-space elements="*"/>
-
-<!-- these parameters set the paths to the special latexml cds. The default is made so that it works for GenCS -->
-<xsl:param name="latexmlcds" select="'../../../slides/extcds/stex'"/>
-<xsl:param name="omcds" select="'../../../slides/extcds/omstd'"/>
-
-<!-- get rid of the list OMAs LaTeXML uses -->
-<xsl:template match="om:OMA[om:OMS[position()=1 and @name='list' and @cd='latexml']]">
- <xsl:apply-templates select="*[position() &gt; 1]"/>
-</xsl:template>
-
-<!-- special treatment for latexml symbols -->
-<!-- we have a set of special CDs that correspond to the ones latexml postulates -->
-<!-- they need to be imported whereever necessary -->
-<xsl:template match="omdoc:theory">
- <theory>
- <xsl:copy-of select="@*"/>
- <xsl:if test="//om:OMS[@cd='latexml' and @name='multirelation']">
- <imports from="{$latexmlcds}/multirel.omdoc#multirel"/>
- </xsl:if>
- <xsl:if test="//om:OMS[@cd='latexml' and
- (@name='times' or
- @name='divide' or
- @name='plus' or
- @name='minus')]">
- <imports from="{$omcds}/arith1.omdoc#arith1"/>
- </xsl:if>
- <xsl:if test="//om:OMS[@cd='latexml' and
- (@name='greater-than' or
- @name='less-than' or
- @name='not-equals' or
- @name='greater-than-or-equals' or
- @name='less-than-or-equals')]">
- <imports from="{$omcds}/relation1.omdoc#relation1"/>
- </xsl:if>
- <xsl:apply-templates/>
- </theory>
-</xsl:template>
-
-<!-- and we need to convert the symbols -->
-<xsl:template match="om:OMS[@cd='latexml' and @name='multirelation']">
- <om:OMS cd="multirel" name="multirelation"/>
-</xsl:template>
-
-<xsl:template match="om:OMS[@cd='latexml' and @name='plus']">
- <om:OMS cd="arith1" name="plus"/>
-</xsl:template>
-
-<xsl:template match="om:OMS[@cd='latexml' and @name='minus']">
- <om:OMS cd="arith1" name="minus"/>
-</xsl:template>
-
-<xsl:template match="om:OMS[@cd='latexml' and @name='times']">
- <om:OMS cd="arith1" name="times"/>
-</xsl:template>
-
-<xsl:template match="om:OMS[@cd='latexml' and @name='divide']">
- <om:OMS cd="arith1" name="divide"/>
-</xsl:template>
-
-<xsl:template match="om:OMS[@cd='latexml' and @name='greater-than']">
- <om:OMS cd="relation1" name="gt"/>
-</xsl:template>
-
-<xsl:template match="om:OMS[@cd='latexml' and @name='greater-than-or-equals']">
- <om:OMS cd="relation1" name="gt"/>
-</xsl:template>
-
-<xsl:template match="om:OMS[@cd='latexml' and @name='less-than']">
- <om:OMS cd="relation1" name="lt"/>
-</xsl:template>
-
-<xsl:template match="om:OMS[@cd='latexml' and @name='less-than-or-equals']">
- <om:OMS cd="relation1" name="lt"/>
-</xsl:template>
-
-<xsl:template match="om:OMS[@cd='latexml' and @name='not-equals']">
- <om:OMS cd="relation1" name="neq"/>
-</xsl:template>
-</xsl:stylesheet>