diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/xsl/symbols.xsl')
-rw-r--r-- | Master/texmf-dist/source/latex/stex/xsl/symbols.xsl | 112 |
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() > 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> |