mathtype_to_mathml 0.0.1

data/lib/mathtype_to_mathml/mover.rb

@@ -0,0 +1,151 @@
+require "nokogiri"
+
+# We're moving elements around to avoid "scanning" for characters when
+# using the /scan translator mode. The original issue is that MathType
+# considers subscripts and superscripts to be stand-alone, while MathML
+# considers them subscripts and superscripts of an object, and the object
+# is then included in the sub/superscript element.
+
+# MathType's translator has a scan mode, which does the following:
+# 1. Scanning goes to the right for commands with the "pre" option,
+#   otherwise left;
+# 2. If we are scanning right and the object next to the template is an
+#   opening "fence" character (parenthesis, bracket, brace, etc.),
+#   the slot is scanned for the corresponding closing fence character;
+# 3. If we are scanning left and the object next to the template is an closing
+#   "fence" character (parenthesis, bracket, brace, etc.), the slot is scanned
+#   for the corresponding opening fence character;
+# 4. If the fenced expression is found, it is used as #1 in the template translation.
+
+# Additionally, Mover inverts <emb>ellishments from <char><emb></emb></char> to
+# <emb><char></char></emb>.
+
+module MathTypeToMathML
+  class Mover
+    attr_reader :mathtype
+    attr_accessor :last_preceding_siblings
+
+    PARENS_SELECTOR = "selector='tmPARENS' or "\
+      "selector='tmBRACK' or " \
+      "selector='tmBRACE' or " \
+      "selector='tmOBRACK' or " \
+      "selector='tmOBRACE' or " \
+      "selector='tmHBRACK' or " \
+      "selector='tmHBRACE'"
+
+    SUBSUP_SELECTOR = "selector='tmSUP' or " \
+      "selector='tmSUB' or " \
+      "selector='tmSUBSUP'"
+
+    PRE = "variation='tvSU_PRECEDES'"
+
+    OPEN_PAREN = "mt_code_value = '0x0028' or " \
+      "mt_code_value = '0x005B' or " \
+      "mt_code_value = '0x007B'"
+
+    CLOSE_PAREN = "mt_code_value = '0x0029' or " \
+      "mt_code_value = '0x005D' or " \
+      "mt_code_value = '0x007D'"
+
+    OPEN_CLOSE_PAIRS = {
+      "0x0028" => "0x0029", # ( )
+      "0x005B" => "0x005D", # [ ]
+      "0x007B" => "0x007D", # { }
+    }
+
+    def initialize(mathtype)
+      @mathtype = mathtype
+      @last_preceding_siblings = Nokogiri::XML::NodeSet.new(@mathtype)
+    end
+
+    def move_until_mt_code(elements, mt_code_value, parent)
+      elements.each do |element|
+        element.parent = parent
+        break if element.xpath("mt_code_value = '#{mt_code_value}'")
+      end
+    end
+
+    def move_paren(siblings, node)
+      OPEN_CLOSE_PAIRS.each do |open, close|
+        if siblings[0].xpath("mt_code_value = '#{open}'") # ( )
+          move_until_mt_code(siblings, close, node)
+        end
+      end
+    end
+
+    def new_preceding_siblings(el)
+      all_siblings = el.xpath("preceding-sibling::tmpl | preceding-sibling::char")
+      siblings = all_siblings - last_preceding_siblings
+      self.last_preceding_siblings = all_siblings
+      siblings
+    end
+
+    def new_following_siblings(el)
+      el.xpath("following-sibling::tmpl | following-sibling::char")
+    end
+
+    def move_following_subsup
+      mathtype.xpath("//tmpl[(#{SUBSUP_SELECTOR}) and not(#{PRE})]").each do |el|
+        siblings = new_preceding_siblings(el)
+
+        node = Nokogiri::XML::Node.new "slot", mathtype
+
+        if siblings.last.xpath(CLOSE_PAREN)
+          siblings = siblings.reverse.take_while do |sibling|
+            !sibling.next_element.xpath(OPEN_PAREN)
+          end.reverse
+
+          move_paren(siblings, node)
+        elsif siblings.last.xpath("self::tmpl[#{PARENS_SELECTOR}]")
+          siblings.last.parent = node
+        else
+          siblings.last.parent = node
+        end
+
+        el.at_css("slot").add_previous_sibling node
+      end
+    end
+
+    def move_preceding_subsup
+      mathtype.xpath("//tmpl[(#{SUBSUP_SELECTOR}) and #{PRE}]").each do |el|
+        siblings = new_following_siblings(el)
+
+        node = Nokogiri::XML::Node.new "slot", mathtype
+
+        if siblings.first.xpath(OPEN_PAREN)
+          siblings = siblings.reverse.take_while do |sibling|
+            !sibling.next_element.xpath(CLOSE_PAREN)
+          end.reverse
+
+          move_paren(siblings, node)
+        elsif siblings.first.xpath("self::tmpl[#{PARENS_SELECTOR}]")
+          siblings.first.parent = node
+        else
+          siblings.first.parent = node
+        end
+
+        el.at_css("slot").add_previous_sibling node
+      end
+    end
+
+    def invert_char_embell
+      # Invert char -> embell to embell -> char.
+      mathtype.xpath("//char[embell]").each do |el|
+        embell = el.xpath("embell").first.remove
+        char = el.clone
+        char.parent = embell
+        el.replace(embell)
+      end
+    end
+
+    def move
+      move_following_subsup
+      move_preceding_subsup
+      invert_char_embell
+    end
+  end
+end
+
+
+
+

data/lib/mathtype_to_mathml/version.rb

@@ -0,0 +1,3 @@
+module MathTypeToMathML
+  VERSION = "0.0.1"
+end

data/lib/transform.xsl

@@ -0,0 +1,104 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+    xmlns:xs="http://www.w3.org/2001/XMLSchema"
+    exclude-result-prefixes="xs"
+    version="1.0">
+    <xsl:template match="/">
+        <xsl:apply-templates select=".//mtef" />
+    </xsl:template>
+
+    <xsl:template match="mtef">
+        <math display="block">
+            <xsl:apply-templates select="pile | slot"/>
+        </math>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector = 'tmFRACT']">
+        <mfrac>
+            <xsl:apply-templates select="slot[1]"/>
+            <xsl:apply-templates select="slot[2]"/>
+        </mfrac>
+    </xsl:template>
+
+    <xsl:template match="slot">
+        <mrow>
+            <xsl:apply-templates/>
+        </mrow>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector = 'tmROOT']">
+        <msqrt>
+            <xsl:apply-templates/>
+        </msqrt>
+    </xsl:template>
+
+    <xsl:template match="char[typeface = '2']">
+        <mn>
+            <xsl:text disable-output-escaping="yes">&amp;#</xsl:text>
+            <xsl:value-of select="substring(mt_code_value/text(), 2)"/>
+            <xsl:text>;</xsl:text>
+        </mn>
+    </xsl:template>
+
+    <xsl:template match="char[typeface = '8']">
+        <mn>
+            <xsl:text disable-output-escaping="yes">&amp;#</xsl:text>
+            <xsl:value-of select="substring(mt_code_value/text(), 2)"/>
+            <xsl:text>;</xsl:text>
+        </mn>
+    </xsl:template>
+
+    <xsl:template match="char[typeface = '3']">
+        <mi>
+            <xsl:text disable-output-escaping="yes">&amp;#</xsl:text>
+            <xsl:value-of select="substring(mt_code_value/text(), 2)"/>
+            <xsl:text>;</xsl:text>
+        </mi>
+    </xsl:template>
+
+    <xsl:template match="char[typeface = '6']">
+        <mo>
+            <xsl:text disable-output-escaping="yes">&amp;#</xsl:text>
+            <xsl:value-of select="substring(mt_code_value/text(), 2)"/>
+            <xsl:text>;</xsl:text>
+        </mo>
+    </xsl:template>
+
+    <xsl:template match="*" />
+
+    <xsl:template match="tmpl[selector='tmROOT' and variation='tvROOT_NTH']">
+        <mroot>
+            <xsl:apply-templates select="slot[1]" />
+            <xsl:apply-templates select="slot[2]" />
+        </mroot>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector='tmARROW']">
+        <munderover accentunder="true">
+            <mstyle scriptlevel="-1"><mo>&#x21C0;</mo></mstyle>
+            <munder>
+                <mstyle scriptlevel="+1"><mo>&#x21BD;</mo></mstyle>
+                <xsl:apply-templates select="slot[1]" />
+                <xsl:apply-templates select="slot[2]" />
+            </munder>
+        </munderover>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector='tmPAREN']">
+        <mrow><mo>(</mo>
+        <xsl:apply-templates select="slot[1]"/>
+        <mo>)</mo></mrow>
+    </xsl:template>
+
+    <xsl:include href="lib/xsl/pile.xsl" />
+    <xsl:include href="lib/xsl/char.xsl" />
+    <xsl:include href="lib/xsl/embellishment.xsl" />
+    <xsl:include href="lib/xsl/subsup.xsl"/>
+    <xsl:include href="lib/xsl/sum.xsl"/>
+    <xsl:include href="lib/xsl/union_intersection.xsl"/>
+    <xsl:include href="lib/xsl/arrow.xsl"/>
+    <xsl:include href="lib/xsl/matrix.xsl"/>
+    <xsl:include href="lib/xsl/brace.xsl"/>
+
+
+</xsl:stylesheet>

data/lib/xsl/arrow.xsl

@@ -0,0 +1,319 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+    xmlns:xs="http://www.w3.org/2001/XMLSchema"
+    exclude-result-prefixes="xs"
+    version="1.0">
+
+    <!-- Arrows -->
+    <xsl:template match="tmpl[selector='tmARROW']">
+        <mover>
+            <mo>&#x2192;</mo>
+            <xsl:apply-templates select="slot[1]"/>
+        </mover>
+    </xsl:template>
+    
+    <xsl:template match="tmpl[selector='tmARROW' and variation='tvAR_LEFT']">
+        <mover>
+            <mo>&#x2190;</mo>
+            <xsl:apply-templates select="slot[1]"/>
+        </mover>
+    </xsl:template>
+    
+    <xsl:template match="tmpl[selector='tmARROW' and variation='tvAR_BOTTOM']">
+        <munder>
+            <mo>&#x2192;</mo>
+            <xsl:apply-templates select="slot[2]"/>
+        </munder>
+    </xsl:template>
+    
+    <xsl:template match="tmpl[selector='tmARROW' and variation='tvAR_TOPBOTTOM']">
+        <munderover>
+            <mo>&#x2192;</mo>
+            <xsl:apply-templates select="slot[2]"/>
+            <xsl:apply-templates select="slot[1]"/>
+        </munderover>
+    </xsl:template>
+    
+    <xsl:template match="tmpl[selector='tmARROW' and variation='tvAR_DOUBLE']">
+        <mover>
+            <mo>&#x21C4;</mo>
+            <xsl:apply-templates select="slot[1]"/>
+        </mover>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector='tmARROW' and (variation='tvAR_LEFT' and variation='tvAR_RIGHT' )]">
+        <mover>
+            <mo>&#x2194;</mo>
+            <xsl:apply-templates select="slot[1]"/>
+        </mover>
+    </xsl:template>
+    
+    <xsl:template match="tmpl[selector='tmARROW' and variation='tvAR_LEFT' and variation='tvAR_TOPBOTTOM']">
+        <munderover>
+            <mo>&#x2190;</mo>
+            <xsl:apply-templates select="slot[2]"/>
+            <xsl:apply-templates select="slot[1]"/>
+        </munderover>
+    </xsl:template>
+
+
+    <xsl:template match="tmpl[selector='tmARROW' and variation='tvAR_DOUBLE' and variation='tvAR_TOPBOTTOM']">
+        <munderover>
+            <mo>&#x21C4;</mo>
+            <xsl:apply-templates select="slot[2]"/>
+            <xsl:apply-templates select="slot[1]"/>
+        </munderover>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector='tmARROW' and variation='tvAR_DOUBLE' and variation='tvAR_LOS']">
+        <mover>
+            <munder accentunder="true">
+                <mstyle scriptlevel="-1"><mo>&#x2192;</mo></mstyle>
+                <mstyle scriptlevel="+1"><mo>&#x2190;</mo></mstyle>
+            </munder>
+            <xsl:apply-templates select="slot[1]"/>
+        </mover>
+    </xsl:template>
+    
+    <xsl:template match="tmpl[selector='tmARROW' and variation='tvAR_DOUBLE' and variation='tvAR_SOL']">
+        <mover>
+            <munder accentunder="true">
+                <mstyle scriptlevel="+1"><mo>&#x2192;</mo></mstyle>
+                <mstyle scriptlevel="-1"><mo>&#x2190;</mo></mstyle>
+            </munder>
+            <xsl:apply-templates select="slot[1]"/>
+        </mover>
+    </xsl:template>
+    
+    <xsl:template match="tmpl[selector='tmARROW' and (variation='tvAR_DOUBLE' or variation='tvAR_HARPOON') and variation='tvAR_HARPOON']">
+        <mover>
+            <mo>&#x21CC;</mo>
+            <xsl:apply-templates select="slot[1]"/>
+        </mover>
+    </xsl:template>
+    
+    <xsl:template match="tmpl[selector='tmARROW' and (variation='tvAR_LEFT' and variation='tvAR_RIGHT' ) and variation='tvAR_TOPBOTTOM']">
+        <munderover>
+            <mo>&#x2194;</mo>
+            <xsl:apply-templates select="slot[2]"/>
+            <xsl:apply-templates select="slot[1]"/>
+        </munderover>
+    </xsl:template>
+
+
+    <xsl:template match="tmpl[selector='tmARROW' and (variation='tvAR_DOUBLE' or variation='tvAR_HARPOON') and variation='tvAR_HARPOON']">
+        <mover>
+            <mo>&#x21CC;</mo>
+            <xsl:apply-templates select="slot[1]"/>
+        </mover>
+    </xsl:template>
+    
+    <xsl:template match="tmpl[selector='tmARROW' and variation='tvAR_DOUBLE' and variation='tvAR_LOS' and variation='tvAR_TOPBOTTOM']">
+        <munderover accentunder="true">
+            <mstyle scriptlevel="-1"><mo>&#x2192;</mo></mstyle>
+            <munder>
+                <mstyle scriptlevel="+1"><mo>&#x2190;</mo></mstyle>
+                <xsl:apply-templates select="slot[2]"/>
+            </munder>
+            <xsl:apply-templates select="slot[1]"/>
+        </munderover>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector='tmARROW' and variation='tvAR_DOUBLE' and variation='tvAR_SOL' and variation='tvAR_TOPBOTTOM']">
+        <munderover accentunder="true">
+            <mstyle scriptlevel="+1"><mo>&#x2192;</mo></mstyle>
+            <munder>
+                <mstyle scriptlevel="-1"><mo>&#x2190;</mo></mstyle>
+                <xsl:apply-templates select="slot[2]"/>
+            </munder>
+            <xsl:apply-templates select="slot[1]"/>
+        </munderover>
+    </xsl:template>
+        
+    <xsl:template match="tmpl[selector='tmARROW' and (variation='tvAR_DOUBLE' or variation='tvAR_HARPOON') and variation='tvAR_HARPOON' and variation='tvAR_SOL']">
+        <mover>
+            <munder accentunder="true">
+                <mstyle scriptlevel="+1"><mo>&#x21C0;</mo></mstyle>
+                <mstyle scriptlevel="-1"><mo>&#x21BD;</mo></mstyle>
+            </munder>
+            <xsl:apply-templates select="slot[1]"/>
+        </mover>
+    </xsl:template>
+    
+    <xsl:template match="tmpl[selector='tmARROW' and (variation='tvAR_DOUBLE' or variation='tvAR_HARPOON') and variation='tvAR_HARPOON' and variation='tvAR_LOS']">
+        <mover>
+            <munder accentunder="true">
+                <mstyle scriptlevel="-1"><mo>&#x21C0;</mo></mstyle>
+                <mstyle scriptlevel="+1"><mo>&#x21BD;</mo></mstyle>
+            </munder>
+            <xsl:apply-templates select="slot[1]"/>
+        </mover>
+    </xsl:template>
+    
+    <xsl:template match="tmpl[selector='tmARROW' and (variation='tvAR_DOUBLE' or variation='tvAR_HARPOON') and variation='tvAR_HARPOON' and variation='tvAR_TOPBOTTOM']">
+        <munderover>
+            <mo>&#x21CC;</mo>
+            <xsl:apply-templates select="slot[2]"/>
+            <xsl:apply-templates select="slot[1]"/>
+        </munderover>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector='tmARROW' and (variation='tvAR_DOUBLE' or variation='tvAR_HARPOON') and variation='tvAR_HARPOON' and variation='tvAR_LOS' and variation='tvAR_TOPBOTTOM']">
+        <munderover accentunder="true">
+            <mstyle scriptlevel="-1"><mo>&#x21C0;</mo></mstyle>
+            <munder>
+                <mstyle scriptlevel="+1"><mo>&#x21BD;</mo></mstyle>
+                <xsl:apply-templates select="slot[2]"/>
+            </munder>
+            <xsl:apply-templates select="slot[1]"/>
+        </munderover>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector='tmARROW' and (variation='tvAR_DOUBLE' or variation='tvAR_HARPOON') and variation='tvAR_HARPOON' and variation='tvAR_SOL' and variation='tvAR_TOPBOTTOM']">
+        <munderover accentunder="true">
+            <mstyle scriptlevel="+1"><mo>&#x21C0;</mo></mstyle>
+            <munder>
+                <mstyle scriptlevel="-1"><mo>&#x21BD;</mo></mstyle>
+                <xsl:apply-templates select="slot[2]"/>
+            </munder>
+            <xsl:apply-templates select="slot[1]"/>
+        </munderover>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector='tmARROW' and variation='tvAR_LEFT' and variation='tvAR_BOTTOM']">
+        <munder>
+            <mo>&#x2190;</mo>
+            <xsl:apply-templates select="slot[2]"/>
+        </munder>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector='tmARROW' and (variation='tvAR_LEFT' and variation='tvAR_RIGHT' ) and variation='tvAR_BOTTOM']">
+        <munder>
+            <mo>&#x2194;</mo>
+            <xsl:apply-templates select="slot[2]"/>
+        </munder>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector='tmARROW' and variation='tvAR_DOUBLE' and variation='tvAR_BOTTOM']">
+        <munder>
+            <mo>&#x21C4;</mo>
+            <xsl:apply-templates select="slot[2]"/>
+        </munder>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector='tmARROW' and variation='tvAR_DOUBLE' and variation='tvAR_LOS' and variation='tvAR_BOTTOM']">
+        <munder>
+            <munder accentunder="true">
+                <mstyle scriptlevel="-1"><mo>&#x2192;</mo></mstyle>
+                <mstyle scriptlevel="+1"><mo>&#x2190;</mo></mstyle>
+            </munder>
+            <xsl:apply-templates select="slot[2]"/>
+        </munder>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector='tmARROW' and variation='tvAR_DOUBLE' and variation='tvAR_SOL' and variation='tvAR_BOTTOM']">
+        <munder>
+            <munder accentunder="true">
+                <mstyle scriptlevel="+1"><mo>&#x2192;</mo></mstyle>
+                <mstyle scriptlevel="-1"><mo>&#x2190;</mo></mstyle>
+            </munder>
+            <xsl:apply-templates select="slot[2]"/>
+        </munder>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector='tmARROW' and (variation='tvAR_DOUBLE' or variation='tvAR_HARPOON') and variation='tvAR_HARPOON' and variation='tvAR_BOTTOM']">
+        <munder>
+            <mo>&#x21CC;</mo>
+            <xsl:apply-templates select="slot[2]"/>
+        </munder>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector='tmARROW' and (variation='tvAR_DOUBLE' or variation='tvAR_HARPOON') and variation='tvAR_HARPOON' and variation='tvAR_LOS' and variation='tvAR_BOTTOM']">
+        <munder>
+            <munder accentunder="true">
+                <mstyle scriptlevel="-1"><mo>&#x21C0;</mo></mstyle>
+                <mstyle scriptlevel="+1"><mo>&#x21BD;</mo></mstyle>
+            </munder>
+            <xsl:apply-templates select="slot[2]"/>
+        </munder>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector='tmARROW' and (variation='tvAR_DOUBLE' or variation='tvAR_HARPOON') and variation='tvAR_HARPOON' and variation='tvAR_SOL' and variation='tvAR_BOTTOM']">
+        <munder>
+            <munder accentunder="true">
+                <mstyle scriptlevel="+1"><mo>&#x21C0;</mo></mstyle>
+                <mstyle scriptlevel="-1"><mo>&#x21BD;</mo></mstyle>
+            </munder>
+            <xsl:apply-templates select="slot[2]"/>
+        </munder>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector='tmARROW' and variation='tvAR_LEFT' and variation='tvAR_BOTTOM']">
+        <munder>
+            <mo>&#x2190;</mo>
+            <xsl:apply-templates select="slot[2]"/>
+        </munder>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector='tmARROW' and (variation='tvAR_LEFT' and variation='tvAR_RIGHT' ) and variation='tvAR_BOTTOM']">
+        <munder>
+            <mo>&#x2194;</mo>
+            <xsl:apply-templates select="slot[2]"/>
+        </munder>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector='tmARROW' and variation='tvAR_DOUBLE' and variation='tvAR_BOTTOM']">
+        <munder>
+            <mo>&#x21C4;</mo>
+            <xsl:apply-templates select="slot[2]"/>
+        </munder>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector='tmARROW' and variation='tvAR_DOUBLE' and variation='tvAR_LOS' and variation='tvAR_BOTTOM']">
+        <munder>
+            <munder accentunder="true">
+                <mstyle scriptlevel="-1"><mo>&#x2192;</mo></mstyle>
+                <mstyle scriptlevel="+1"><mo>&#x2190;</mo></mstyle>
+            </munder>
+            <xsl:apply-templates select="slot[2]"/>
+        </munder>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector='tmARROW' and variation='tvAR_DOUBLE' and variation='tvAR_SOL' and variation='tvAR_BOTTOM']">
+        <munder>
+            <munder accentunder="true">
+                <mstyle scriptlevel="+1"><mo>&#x2192;</mo></mstyle>
+                <mstyle scriptlevel="-1"><mo>&#x2190;</mo></mstyle>
+            </munder>
+            <xsl:apply-templates select="slot[2]"/>
+        </munder>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector='tmARROW' and (variation='tvAR_DOUBLE' or variation='tvAR_HARPOON') and variation='tvAR_HARPOON' and variation='tvAR_BOTTOM']">
+        <munder>
+            <mo>&#x21CC;</mo>
+            <xsl:apply-templates select="slot[2]"/>
+        </munder>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector='tmARROW' and (variation='tvAR_DOUBLE' or variation='tvAR_HARPOON') and variation='tvAR_HARPOON' and variation='tvAR_LOS' and variation='tvAR_BOTTOM']">
+        <munder>
+            <munder accentunder="true">
+                <mstyle scriptlevel="-1"><mo>&#x21C0;</mo></mstyle>
+                <mstyle scriptlevel="+1"><mo>&#x21BD;</mo></mstyle>
+            </munder>
+            <xsl:apply-templates select="slot[2]"/>
+        </munder>
+    </xsl:template>
+
+    <xsl:template match="tmpl[selector='tmARROW' and (variation='tvAR_DOUBLE' or variation='tvAR_HARPOON') and variation='tvAR_HARPOON' and variation='tvAR_SOL' and variation='tvAR_BOTTOM']">
+        <munder>
+            <munder accentunder="true">
+                <mstyle scriptlevel="+1"><mo>&#x21C0;</mo></mstyle>
+                <mstyle scriptlevel="-1"><mo>&#x21BD;</mo></mstyle>
+            </munder>
+            <xsl:apply-templates select="slot[2]"/>
+        </munder>
+    </xsl:template>
+
+</xsl:stylesheet>