<?xml version="1.0" encoding="utf-8"?>
<pat:tex2mmlmap xmlns:pat="http://www.orcca.on.ca/mathml/tex2mml.xml" xmlns="http://www.w3.org/1998/Math/MathML" version="0.13">
<!-- ========================================================================== -->
<!-- NOTE: the precedences only have effect when translating from TeX to MathML -->
<!-- NOTE: direct use of <, & and " or ' is not legal in XML; use entities instead -->
<!-- NOTE: <pat:mml> has implied <mrow>, so <mrow> does not have to be added explicitly -->
<!-- =================== Approximated characters ==================== -->
<!-- \shortmid \shortparallel \smallsetminus \jmath \longrightarrow \scshape
\lgroup \rgroup \arrowvert \Arrowvert \bracevert \leftarrowfill \rightarrowfill \mspace
-->
<!-- =========================== TO DO ============================== -->
<!-- \above \abovewithdelims \penalty -->
<!-- ************************************************************************* -->
<!-- *** The following are mappings of TEX macros/symbols to MathML markup *** -->
<!-- ************************************************************************* -->
<!-- Matrices & Arrays -->
<pat:template>
<pat:tex op="\begin" params="{matrix} \patREP+{\patVAR+{firstCol}\patREP*{&\patVAR+{rest}}\\} \end{matrix}"/>
<pat:mml op="mtable">
<mtable>
<pat:rep>
<mtr>
<mtd> <pat:variable name="firstCol"/> </mtd>
<pat:rep>
<mtd> <pat:variable name="rest"/> </mtd>
</pat:rep>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{smallmatrix} \patREP+{\patVAR+{firstCol}\patREP*{&\patVAR+{rest}}\\} \end{smallmatrix}"/>
<pat:mml op="mtable">
<mtable>
<pat:rep>
<mtr>
<mtd> <pat:variable name="firstCol"/> </mtd>
<pat:rep>
<mtd> <pat:variable name="rest"/> </mtd>
</pat:rep>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\matrix" params="{\patREP+{\patVAR+{firstCol}\patREP*{&\patVAR+{rest}}\cr}}"/>
<pat:mml op="mtable">
<mtable>
<pat:rep>
<mtr>
<mtd> <pat:variable name="firstCol"/> </mtd>
<pat:rep>
<mtd> <pat:variable name="rest"/> </mtd>
</pat:rep>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{pmatrix} \patREP+{\patVAR+{firstCol}\patREP*{&\patVAR+{rest}}\\} \end{pmatrix}"/>
<pat:mml op="mtable">
<mfenced separators="">
<mtable>
<pat:rep>
<mtr>
<mtd> <pat:variable name="firstCol"/> </mtd>
<pat:rep>
<mtd> <pat:variable name="rest"/> </mtd>
</pat:rep>
</mtr>
</pat:rep>
</mtable>
</mfenced>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\pmatrix" params="{\patREP+{\patVAR+{firstCol}\patREP*{&\patVAR+{rest}}\cr}}"/>
<pat:mml op="mtable">
<mfenced separators="">
<mtable>
<pat:rep>
<mtr>
<mtd> <pat:variable name="firstCol"/> </mtd>
<pat:rep>
<mtd> <pat:variable name="rest"/> </mtd>
</pat:rep>
</mtr>
</pat:rep>
</mtable>
</mfenced>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{bmatrix} \patREP+{\patVAR+{firstCol}\patREP*{&\patVAR+{rest}}\\} \end{bmatrix}"/>
<pat:mml op="mtable">
<mfenced open="[" close="]" separators="">
<mtable>
<pat:rep>
<mtr>
<mtd> <pat:variable name="firstCol"/> </mtd>
<pat:rep>
<mtd> <pat:variable name="rest"/> </mtd>
</pat:rep>
</mtr>
</pat:rep>
</mtable>
</mfenced>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{Bmatrix} \patREP+{\patVAR+{firstCol}\patREP*{&\patVAR+{rest}}\\} \end{Bmatrix}"/>
<pat:mml op="mtable">
<mfenced open="{" close="}" separators="">
<mtable>
<pat:rep>
<mtr>
<mtd> <pat:variable name="firstCol"/> </mtd>
<pat:rep>
<mtd> <pat:variable name="rest"/> </mtd>
</pat:rep>
</mtr>
</pat:rep>
</mtable>
</mfenced>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{vmatrix} \patREP+{\patVAR+{firstCol}\patREP*{&\patVAR+{rest}}\\} \end{vmatrix}"/>
<pat:mml op="mtable">
<mfenced open="∣" close="∣" separators="">
<mtable>
<pat:rep>
<mtr>
<mtd> <pat:variable name="firstCol"/> </mtd>
<pat:rep>
<mtd> <pat:variable name="rest"/> </mtd>
</pat:rep>
</mtr>
</pat:rep>
</mtable>
</mfenced>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{Vmatrix} \patREP+{\patVAR+{firstCol}\patREP*{&\patVAR+{rest}}\\} \end{Vmatrix}"/>
<pat:mml op="mtable">
<mfenced open="∥" close="∥" separators="">
<mtable>
<pat:rep>
<mtr>
<mtd> <pat:variable name="firstCol"/> </mtd>
<pat:rep>
<mtd> <pat:variable name="rest"/> </mtd>
</pat:rep>
</mtr>
</pat:rep>
</mtable>
</mfenced>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{array} [\patREP*{\patVAR!{valign}}] {\patREP*{\patVAR!{hjust}}} \patREP*{\patVAR*{firstCol}\patREP*{&\patVAR*{rest}}\\} \end{array}"/>
<pat:mml op="">
<mtable>
<pat:rep>
<pat:variable name="valign" attribute="align" map="t=top b=bottom"/>
</pat:rep>
<pat:rep>
<pat:variable name="hjust" attribute="columnalign" map="l=left c=center r=right"/>
</pat:rep>
<pat:rep>
<mtr>
<mtd> <pat:variable name="firstCol"/> </mtd>
<pat:rep>
<mtd> <pat:variable name="rest"/> </mtd>
</pat:rep>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{array} {\patREP*{\patVAR!{hjust}}} \patREP*{\patVAR*{firstCol}\patREP*{&\patVAR*{rest}}\\} \end{array}"/>
<pat:mml op="">
<mtable>
<pat:rep>
<pat:variable name="hjust" attribute="columnalign" map="l=left c=center r=right"/>
</pat:rep>
<pat:rep>
<mtr>
<mtd> <pat:variable name="firstCol"/> </mtd>
<pat:rep>
<mtd> <pat:variable name="rest"/> </mtd>
</pat:rep>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<!-- Equations -->
<pat:template>
<pat:tex op="\begin" params="{equation} \patVAR*{eqn} \end{equation}"/>
<pat:mml op="">
<pat:variable name="eqn"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{equation*} \patVAR*{eqn} \end{equation*}"/>
<pat:mml op="">
<pat:variable name="eqn"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{multline} \patVAR*{first} \\ \patREP*{\patVAR*{mid} \\} \patVAR*{last} \end{multline}"/>
<pat:mml op="">
<mtable>
<mtr columnalign="left">
<mtd> <pat:variable name="first"/> </mtd>
</mtr>
<pat:rep>
<mtr columnalign="center">
<mtd> <pat:variable name="mid"/> </mtd>
</mtr>
</pat:rep>
<mtr columnalign="right">
<mtd> <pat:variable name="last"/> </mtd>
</mtr>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{multline} \patVAR*{first} \\ \end{multline}"/>
<pat:mml op="">
<mtable>
<mtr columnalign="left">
<mtd> <pat:variable name="first"/> </mtd>
</mtr>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{multline*} \patVAR*{first} \\ \patREP*{\patVAR*{mid} \\} \patVAR*{last} \end{multline*}"/>
<pat:mml op="">
<mtable>
<mtr columnalign="left">
<mtd> <pat:variable name="first"/> </mtd>
</mtr>
<pat:rep>
<mtr columnalign="center">
<mtd> <pat:variable name="mid"/> </mtd>
</mtr>
</pat:rep>
<mtr columnalign="right">
<mtd> <pat:variable name="last"/> </mtd>
</mtr>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{multline*} \patVAR*{first} \\ \end{multline*}"/>
<pat:mml op="">
<mtable>
<mtr columnalign="left">
<mtd> <pat:variable name="first"/> </mtd>
</mtr>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{split} \patREP+{\patVAR*{firstCol}\patREP*{&\patVAR*{rest}}\\} \end{split}"/>
<pat:mml op="">
<mtable>
<pat:rep>
<mtr columnalign="right">
<mtd> <pat:variable name="firstCol"/> </mtd>
<pat:rep>
<mtd columnalign="left"> <pat:variable name="rest"/> </mtd>
</pat:rep>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{eqnarray*} \patREP+{\patVAR*{left} & \patVAR*{mid} & \patVAR*{right} \\} \end{eqnarray*}"/>
<pat:mml op="">
<mtable columnalign="right center left">
<pat:rep>
<mtr>
<mtd> <pat:variable name="left"/> </mtd>
<mtd> <pat:variable name="mid"/> </mtd>
<mtd> <pat:variable name="right"/> </mtd>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{eqnarray*} \patVAR*{first} \end{eqnarray*}"/>
<pat:mml op="">
<mtable columnalign="left">
<mtr>
<mtd> <pat:variable name="first"/> </mtd>
</mtr>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{eqnarray} \patREP+{\patVAR*{left} & \patVAR*{mid} & \patVAR*{right} \\} \end{eqnarray}"/>
<pat:mml op="">
<mtable columnalign="right center left">
<pat:rep>
<mtr>
<mtd> <pat:variable name="left"/> </mtd>
<mtd> <pat:variable name="mid"/> </mtd>
<mtd> <pat:variable name="right"/> </mtd>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{eqnarray} \patVAR*{first} \end{eqnarray}"/>
<pat:mml op="">
<mtable columnalign="left">
<mtr>
<mtd> <pat:variable name="first"/> </mtd>
</mtr>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\eqalign" params="{\patREP+{\patVAR*{left}&\patVAR*{right}\cr}}"/>
<pat:mml op="">
<mtable columnspacing="2em">
<pat:rep>
<mtr>
<mtd columnalign="right"> <pat:variable name="left"/> </mtd>
<mtd columnalign="left"> <pat:variable name="right"/> </mtd>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\eqno" params="\patVAR+{tag}"/>
<pat:mml op="">
<pat:variable name="tag"/>
<mspace linebreak="newline"/>
</pat:mml>
</pat:template>
<!-- Tables and other table-like environments -->
<pat:template>
<pat:tex op="\begin" params="{tabular} [\patREP+{\patVAR!{valign}}] {\patREP*{\patVAR!{hjust}}} \patREP*{\patVAR*{firstCol}\patREP*{&\patVAR*{rest}}\\} \end{tabular}"/>
<pat:mml op="">
<mtable>
<pat:rep>
<pat:variable name="valign" attribute="align" map="t=top b=bottom"/>
</pat:rep>
<pat:rep>
<pat:variable name="hjust" attribute="columnalign" map="l=left c=center r=right"/>
</pat:rep>
<pat:rep>
<mtr>
<mtd> <pat:variable name="firstCol"/> </mtd>
<pat:rep>
<mtd> <pat:variable name="rest"/> </mtd>
</pat:rep>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{tabular} {\patREP*{\patVAR!{hjust}}} \patREP*{\patVAR*{firstCol}\patREP*{&\patVAR*{rest}}\\} \end{tabular}"/>
<pat:mml op="">
<mtable>
<pat:rep>
<pat:variable name="hjust" attribute="columnalign" map="l=left c=center r=right"/>
</pat:rep>
<pat:rep>
<mtr>
<mtd> <pat:variable name="firstCol"/> </mtd>
<pat:rep>
<mtd> <pat:variable name="rest"/> </mtd>
</pat:rep>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{align} \patREP*{\patVAR*{beg}&\patVAR*{end}\\} \end{align}"/>
<pat:mml op="">
<mtable>
<pat:rep>
<mtr>
<mtd columnalign="right"> <pat:variable name="beg"/> </mtd>
<mtd columnalign="left"> <pat:variable name="end"/> </mtd>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{align*} \patREP*{\patVAR*{beg}&\patVAR*{end}\\} \end{align*}"/>
<pat:mml op="">
<mtable>
<pat:rep>
<mtr>
<mtd columnalign="right"> <pat:variable name="beg"/> </mtd>
<mtd columnalign="left"> <pat:variable name="end"/> </mtd>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{gather} \patREP+{\patVAR*{line}\\} \end{gather}"/>
<pat:mml op="">
<mtable>
<pat:rep>
<mtr>
<mtd> <pat:variable name="line"/> </mtd>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{gather*} \patREP+{\patVAR*{line}\\} \end{gather*}"/>
<pat:mml op="">
<mtable>
<pat:rep>
<mtr>
<mtd> <pat:variable name="line"/> </mtd>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{aligned} [\patREP+{\patVAR!{valign}}] \patREP*{\patVAR*{beg}&\patVAR*{end}\\} \end{aligned}"/>
<pat:mml op="">
<mtable>
<pat:rep>
<pat:variable name="valign" attribute="align" map="t=top b=bottom"/>
</pat:rep>
<pat:rep>
<mtr>
<mtd columnalign="right"> <pat:variable name="beg"/> </mtd>
<mtd columnalign="left"> <pat:variable name="end"/> </mtd>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{aligned} \patREP*{\patVAR*{beg}&\patVAR*{end}\\} \end{aligned}"/>
<pat:mml op="">
<mtable>
<pat:rep>
<mtr>
<mtd columnalign="right"> <pat:variable name="beg"/> </mtd>
<mtd columnalign="left"> <pat:variable name="end"/> </mtd>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{gathered} [\patREP+{\patVAR!{valign}}] \patREP*{\patVAR*{line}\\} \end{gathered}"/>
<pat:mml op="">
<mtable>
<pat:rep>
<pat:variable name="valign" attribute="align" map="t=top b=bottom"/>
</pat:rep>
<pat:rep>
<mtr>
<mtd> <pat:variable name="line"/> </mtd>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{gathered} \patREP*{\patVAR*{line}\\} \end{gathered}"/>
<pat:mml op="">
<mtable>
<pat:rep>
<mtr>
<mtd> <pat:variable name="line"/> </mtd>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{alignat} {\patVAR+{num}} \patREP*{\patVAR*{beg}&\patVAR*{end}\\} \end{alignat}"/>
<pat:mml op="">
<mtable>
<pat:rep>
<mtr>
<mtd columnalign="right"> <pat:variable name="beg"/> </mtd>
<mtd columnalign="left"> <pat:variable name="end"/> </mtd>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{alignat*} {\patVAR+{num}} \patREP*{\patVAR*{beg}&\patVAR*{end}\\} \end{alignat*}"/>
<pat:mml op="">
<mtable>
<pat:rep>
<mtr>
<mtd columnalign="right"> <pat:variable name="beg"/> </mtd>
<mtd columnalign="left"> <pat:variable name="end"/> </mtd>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{falign} \patREP*{\patVAR*{beg}&\patVAR*{end}\\} \end{falign}"/>
<pat:mml op="">
<mtable>
<pat:rep>
<mtr>
<mtd columnalign="right"> <pat:variable name="beg"/> </mtd>
<mtd columnalign="left"> <pat:variable name="end"/> </mtd>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{falign*} \patREP*{\patVAR*{beg}&\patVAR*{end}\\} \end{falign*}"/>
<pat:mml op="">
<mtable>
<pat:rep>
<mtr>
<mtd columnalign="right"> <pat:variable name="beg"/> </mtd>
<mtd columnalign="left"> <pat:variable name="end"/> </mtd>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{center} \patREP*{\patVAR*{line}\\} \end{center}"/>
<pat:mml op="">
<mtable>
<pat:rep>
<mtr>
<mtd> <pat:variable name="line"/> </mtd>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{cases} \patREP+{\patVAR+{firstCol} & \patVAR+{rest} \\} \end{cases}"/>
<pat:mml op="mtable">
<mrow>
<mo stretchy="true"> { </mo>
<mtable columnalign="left" columnspacing="2em">
<pat:rep>
<mtr>
<mtd> <pat:variable name="firstCol"/> </mtd>
<mtd> <pat:variable name="rest"/> </mtd>
</mtr>
</pat:rep>
</mtable>
</mrow>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\cases" params="{\patREP+{\patVAR+{firstCol}&\patVAR+{rest}\cr}}"/>
<pat:mml op="mtable">
<mrow>
<mo stretchy="true"> { </mo>
<mtable columnalign="left" columnspacing="2em">
<pat:rep>
<mtr>
<mtd> <pat:variable name="firstCol"/> </mtd>
<mtd> <pat:variable name="rest"/> </mtd>
</mtr>
</pat:rep>
</mtable>
</mrow>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\cases" params="{\patREP*{\patVAR*{firstCase}&\patVAR*{firstCond}\cr} \patVAR*{lastCase}&\patVAR*{lastCond}}"/>
<pat:mml op="mtable">
<mrow>
<mo stretchy="true"> { </mo>
<mtable columnalign="left" columnspacing="2em">
<pat:rep>
<mtr>
<mtd> <pat:variable name="firstCase"/> </mtd>
<mtd> <pat:variable name="firstCond"/> </mtd>
</mtr>
</pat:rep>
<mtr>
<mtd> <pat:variable name="lastCase"/> </mtd>
<mtd> <pat:variable name="lastCond"/> </mtd>
</mtr>
</mtable>
</mrow>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{description} \patREP*{\item[\patVAR*{item}] \patVAR*{desc}} \end{description}"/>
<pat:mml op="">
<mtable columnalign="left">
<pat:rep>
<mtr>
<mtd>
<mstyle mathvariant="bold">
<pat:variable name="item"/>
</mstyle>
</mtd>
<mtd> <pat:variable name="desc"/> </mtd>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="" params="\patVAR+{a}"/>
<pat:mml op="mtd">
<mtd> <pat:variable name="a"/> </mtd>
</pat:mml>
</pat:template>
<!-- Quotes -->
<pat:template>
<pat:tex op="'" params="'"/>
<pat:mml op="">
<mo> " </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="`" params="`"/>
<pat:mml op="">
<mo> " </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="""/>
<pat:mml op="">
<mo> " </mo>
</pat:mml>
</pat:template>
<!-- Brackets -->
<pat:template>
<pat:tex op="\|"/>
<pat:mml op="∥">
<mo> ∥ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Vert"/>
<pat:mml op="∥">
<mo> ∥ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="|"/>
<pat:mml op="∣">
<mo> ∣ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\vert"/>
<pat:mml op="∣">
<mo> ∣ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="("/>
<pat:mml op="(">
<mo> ( </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="["/>
<pat:mml op="[">
<mo> [ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lbrack"/>
<pat:mml op="[">
<mo> [ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\{"/>
<pat:mml op="{">
<mo> { </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lbrace"/>
<pat:mml op="{">
<mo> { </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="<"/>
<pat:mml op="<">
<mo> < </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="/"/>
<pat:mml op="/">
<mo> / </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lfloor"/>
<pat:mml op="⌊">
<mo> ⌊ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lceil"/>
<pat:mml op="⌈">
<mo> ⌈ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\langle"/> <!-- 27E8 U3.2 -->
<pat:mml op="〈">
<mo> 〈 </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lgroup"/>
<pat:mml op="">
<mo> ( </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op=")"/>
<pat:mml op=")">
<mo> ) </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="]"/>
<pat:mml op="]">
<mo> ] </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rbrack"/>
<pat:mml op="]">
<mo> ] </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\}"/>
<pat:mml op="}">
<mo> } </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rbrace"/>
<pat:mml op="}">
<mo> } </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op=">"/>
<pat:mml op=">">
<mo> > </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\backslash"/>
<pat:mml op="\">
<mo> \ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rfloor"/>
<pat:mml op="⌋">
<mo> ⌋ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rceil"/>
<pat:mml op="⌉">
<mo> ⌉ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rangle"/> <!-- 27E9 U3.2 -->
<pat:mml op="〉">
<mo> 〉 </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rgroup"/>
<pat:mml op="">
<mo> ) </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\uparrow"/>
<pat:mml op="↑">
<mo> ↑ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Uparrow"/>
<pat:mml op="⇑">
<mo> ⇑ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\downarrow"/>
<pat:mml op="↓">
<mo> ↓ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Downarrow"/>
<pat:mml op="⇓">
<mo> ⇓ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\updownarrow"/>
<pat:mml op="⇅">
<mo> ⇅ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Updownarrow"/>
<pat:mml op="⇕">
<mo> ⇕ </mo>
</pat:mml>
</pat:template>
<!-- Arrows -->
<pat:template>
<pat:tex op="\leftarrow"/>
<pat:mml op="←">
<mo> ← </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\gets"/>
<pat:mml op="←">
<mo> ← </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Leftarrow"/>
<pat:mml op="⇐">
<mo> ⇐ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rightarrow"/>
<pat:mml op="→">
<mo> → </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\to"/>
<pat:mml op="→">
<mo> → </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Rightarrow"/>
<pat:mml op="⇒">
<mo> ⇒ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\leftrightarrow"/>
<pat:mml op="⇆">
<mo> ⇆ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Leftrightarrow"/>
<pat:mml op="⇔">
<mo> ⇔ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mapsto"/>
<pat:mml op="↦">
<mo> ↦ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\hookleftarrow"/>
<pat:mml op="↩">
<mo> ↩ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\leftharpoonup"/>
<pat:mml op="↼">
<mo> ↼ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\leftharpoondown"/>
<pat:mml op="↽">
<mo> ↽ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rightleftharpoons"/>
<pat:mml op="⇌">
<mo> ⇌ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\longleftarrow"/>
<pat:mml op="←">
<mo> ← </mo> <!-- Should be 27F5 -->
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Longleftarrow"/>
<pat:mml op="⇐">
<mo> ⇐ </mo> <!-- Should be 27F8 -->
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\longrightarrow"/>
<pat:mml op="→">
<mo> → </mo> <!-- Should be 27F6 -->
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Longrightarrow"/>
<pat:mml op="⇒">
<mo> ⇒ </mo> <!-- Should be 27F9 -->
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\longleftrightarrow"/>
<pat:mml op="↔">
<mo> ↔ </mo> <!-- Should be 27F7 -->
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Longleftrightarrow"/>
<pat:mml op="⇔">
<mo> ⇔ </mo> <!-- Should be 27FA -->
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\longmapsto"/>
<pat:mml op="↦">
<mo> ↦ </mo> <!-- Should be 27FC -->
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\leadsto"/>
<pat:mml op="⇝">
<mo> ⇝ </mo> <!-- Should be 27FF -->
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\hookrightarrow"/>
<pat:mml op="↪">
<mo> ↪ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rightharpoonup"/>
<pat:mml op="⇀">
<mo> ⇀ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rightharpoondown"/>
<pat:mml op="⇁">
<mo> ⇁ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nearrow"/>
<pat:mml op="↗">
<mo> ↗ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\searrow"/>
<pat:mml op="↘">
<mo> ↘ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\swarrow"/>
<pat:mml op="↙">
<mo> ↙ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nwarrow"/>
<pat:mml op="↖">
<mo> ↖ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\arrowvert"/>
<pat:mml op="">
<mo> ∣ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Arrowvert"/>
<pat:mml op="">
<mo> ∥ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bracevert"/>
<pat:mml op="">
<mo mathvariant="bold"> ∣ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lmoustache"/>
<pat:mml op="">
<mo> ⎰ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rmoustache"/>
<pat:mml op="">
<mo> ⎱ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\leftarrowfill"/>
<pat:mml op="">
<mo stretchy="true"> ← </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rightarrowfill"/>
<pat:mml op="">
<mo stretchy="true"> → </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\iff"/>
<pat:mml op="">
<mo> ⇔ </mo>
</pat:mml>
</pat:template>
<!-- AMS arrows -->
<pat:template>
<pat:tex op="\dashrightarrow"/>
<pat:mml op="⇢">
<mo> ⇢ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\dashleftarrow"/>
<pat:mml op="⇠">
<mo> ⇠ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\leftleftarrows"/>
<pat:mml op="⇇">
<mo> ⇇ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\leftrightarrows"/>
<pat:mml op="⇆">
<mo> ⇆ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Lleftarrow"/>
<pat:mml op="⇚">
<mo> ⇚ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\twoheadleftarrow"/>
<pat:mml op="↞">
<mo> ↞ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\leftarrowtail"/>
<pat:mml op="↢">
<mo> ↢ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\looparrowleft"/>
<pat:mml op="↫">
<mo> ↫ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\leftrightharpoons"/>
<pat:mml op="⇋">
<mo> ⇋ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\curvearrowleft"/>
<pat:mml op="↶">
<mo> ↶ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\circlearrowleft"/>
<pat:mml op="↺">
<mo> ↺ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Lsh"/>
<pat:mml op="↰">
<mo> ↰ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\upuparrows"/>
<pat:mml op="⇈">
<mo> ⇈ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\upharpoonleft"/>
<pat:mml op="↿">
<mo> ↿ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\downharpoonleft"/>
<pat:mml op="⇃">
<mo> ⇃ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\multimap"/>
<pat:mml op="⊸">
<mo> ⊸ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\leftrightsquigarrow"/>
<pat:mml op="↭">
<mo> ↭ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rightrightarrows"/>
<pat:mml op="⇉">
<mo> ⇉ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rightleftarrows"/>
<pat:mml op="⇄">
<mo> ⇄ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\twoheadrightarrow"/>
<pat:mml op="↠">
<mo> ↠ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rightarrowtail"/>
<pat:mml op="↣">
<mo> ↣ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\looparrowright"/>
<pat:mml op="↬">
<mo> ↬ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rightleftharpoons"/>
<pat:mml op="⇌">
<mo> ⇌ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\curvearrowright"/>
<pat:mml op="↷">
<mo> ↷ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\circlearrowright"/>
<pat:mml op="↻">
<mo> ↻ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Rsh"/>
<pat:mml op="↱">
<mo> ↱ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\downdownarrows"/>
<pat:mml op="⇊">
<mo> ⇊ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\upharpoonright"/>
<pat:mml op="↾">
<mo> ↾ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rightsquigarrow"/>
<pat:mml op="⇝">
<mo> ⇝ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nleftarrow"/>
<pat:mml op="↚">
<mo> ↚ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nrightarrow"/>
<pat:mml op="↛">
<mo> ↛ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nLeftarrow"/>
<pat:mml op="⇍">
<mo> ⇍ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nRightarrow"/>
<pat:mml op="⇏">
<mo> ⇏ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nleftrightarrow"/>
<pat:mml op="↮">
<mo> ↮ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nLeftrightarrow"/>
<pat:mml op="⇎">
<mo> ⇎ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\xleftarrow" params="[\patVAR*{below}]\patVAR!{above}"/>
<pat:mml op="">
<munderover>
<mo> ← </mo> <!-- Should be 27F5 -->
<pat:variable name="below"/>
<pat:variable name="above"/>
</munderover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\xleftarrow" params="\patVAR!{above}"/>
<pat:mml op="">
<munderover>
<mo> ← </mo> <!-- Should be 27F5 -->
<mrow/>
<pat:variable name="above"/>
</munderover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\xrightarrow" params="[\patVAR*{below}]\patVAR!{above}"/>
<pat:mml op="">
<munderover>
<mo> → </mo> <!-- Should be 27F6 -->
<pat:variable name="below"/>
<pat:variable name="above"/>
</munderover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\xrightarrow" params="\patVAR!{above}"/>
<pat:mml op="">
<munderover>
<mo> → </mo> <!-- Should be 27F6 -->
<mrow/>
<pat:variable name="above"/>
</munderover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\overleftarrow" params="\patVAR!{expr}"/>
<pat:mml op="">
<mover>
<pat:variable name="expr"/>
<mo> ← </mo> <!-- Should be 27F5 -->
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\overrightarrow" params="\patVAR!{expr}"/>
<pat:mml op="">
<mover>
<pat:variable name="expr"/>
<mo> → </mo> <!-- Should be 27F6 -->
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\overleftrightarrow" params="\patVAR!{expr}"/>
<pat:mml op="">
<mover>
<pat:variable name="expr"/>
<mo> ↔ </mo> <!-- Should be 27F7 -->
</mover>
</pat:mml>
</pat:template>
<!-- AMS binary operation symbols -->
<pat:template>
<pat:tex op="\dotplus"/>
<pat:mml op="∔">
<mo> ∔ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\smallsetminus"/>
<pat:mml op="">
<mo> ∖ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Cap"/>
<pat:mml op="⋒">
<mo> ⋒ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Cup"/>
<pat:mml op="⋓">
<mo> ⋓ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\barwedge"/>
<pat:mml op="⊼">
<mo> ⊼ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\doublebarwedge"/>
<pat:mml op="⌆">
<mo> ⌆ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\veebar"/>
<pat:mml op="⊻">
<mo> ⊻ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\boxminus"/>
<pat:mml op="⊟">
<mo> ⊟ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\boxtimes"/>
<pat:mml op="⊠">
<mo> ⊠ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\boxdot"/>
<pat:mml op="⊡">
<mo> ⊡ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\boxplus"/>
<pat:mml op="⊞">
<mo> ⊞ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\divideontimes"/>
<pat:mml op="⋇">
<mo> ⋇ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ltimes"/>
<pat:mml op="⋉">
<mo> ⋉ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rtimes"/>
<pat:mml op="⋊">
<mo> ⋊ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\leftthreetimes"/>
<pat:mml op="⋋">
<mo> ⋋ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rightthreetimes"/>
<pat:mml op="⋌">
<mo> ⋌ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\curlywedge"/>
<pat:mml op="⋏">
<mo> ⋏ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\curlyvee"/>
<pat:mml op="⋏">
<mo> ⋏ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\circleddash"/>
<pat:mml op="⊝">
<mo> ⊝ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\circledast"/>
<pat:mml op="⊛">
<mo> ⊛ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\circledcirc"/>
<pat:mml op="⊚">
<mo> ⊚ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\centerdot"/>
<pat:mml op="⋅">
<mo> ⋅ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\intercal"/>
<pat:mml op="⊺">
<mo> ⊺ </mo>
</pat:mml>
</pat:template>
<!-- AMS Greek and Hebrew letters -->
<pat:template>
<pat:tex op="\digamma"/>
<pat:mml op="Ϝ">
<mo> Ϝ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\varkappa"/>
<pat:mml op="ϰ">
<mo> ϰ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\beth"/>
<pat:mml op="ℶ">
<mo> ℶ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\daleth"/>
<pat:mml op="ℸ">
<mo> ℸ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\gimel"/>
<pat:mml op="ℷ">
<mo> ℷ </mo>
</pat:mml>
</pat:template>
<!-- AMS delimiters -->
<pat:template>
<pat:tex op="\ulcorner"/>
<pat:mml op="⌜">
<mo> ⌜ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\urcorner"/>
<pat:mml op="⌝">
<mo> ⌝ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\llcorner"/>
<pat:mml op="⌞">
<mo> ⌞ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lrcorner"/>
<pat:mml op="⌟">
<mo> ⌟ </mo>
</pat:mml>
</pat:template>
<!-- AMS relational symbols -->
<pat:template>
<pat:tex op="\leqq"/>
<pat:mml op="≦">
<mo> ≦ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\leqslant"/>
<pat:mml op="">
<mo> ⩽ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\eqslantless"/>
<pat:mml op="">
<mo> ⪕ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lessapprox"/>
<pat:mml op="">
<mo> ⪅ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lesssim"/>
<pat:mml op="≲">
<mo> ≲ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\approxeq"/>
<pat:mml op="≊">
<mo> ≊ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lessdot"/>
<pat:mml op="⋖">
<mo> ⋖ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lll"/>
<pat:mml op="⋘">
<mo> ⋘ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lessgtr"/>
<pat:mml op="≶">
<mo> ≶ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lesseqgtr"/>
<pat:mml op="⋚">
<mo> ⋚ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lesseqqgtr"/>
<pat:mml op="">
<mo> ⪋ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\doteqdot"/>
<pat:mml op="≑">
<mo> ≑ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\risingdotseq"/>
<pat:mml op="≓">
<mo> ≓ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\fallingdotseq"/>
<pat:mml op="≒">
<mo> ≒ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\backsim"/>
<pat:mml op="∽">
<mo> ∽ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\backsimeq"/>
<pat:mml op="⋍">
<mo> ⋍ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\subseteqq"/>
<pat:mml op="">
<mo> ⫅ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Subset"/>
<pat:mml op="⋐">
<mo> ⋐ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\sqsubset"/>
<pat:mml op="⊏">
<mo> ⊏ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\preccurlyeq"/>
<pat:mml op="≼">
<mo> ≼ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\curlyeqprec"/>
<pat:mml op="⋞">
<mo> ⋞ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\precsim"/>
<pat:mml op="≾">
<mo> ≾ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\precapprox"/>
<pat:mml op="">
<mo> ⪷ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\vartriangleleft"/>
<pat:mml op="⊲">
<mo> ⊲ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\trianglelefteq"/>
<pat:mml op="⊴">
<mo> ⊴ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Vvdash"/>
<pat:mml op="⊪">
<mo> ⊪ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\smallsmile"/>
<pat:mml op="⌣">
<mo> ⌣ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\smallfrown"/>
<pat:mml op="⌢">
<mo> ⌢ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bumpeq"/>
<pat:mml op="≏">
<mo> ≏ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Bumpeq"/>
<pat:mml op="≎">
<mo> ≎ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\geqq"/>
<pat:mml op="≧">
<mo> ≧ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\geqslant"/>
<pat:mml op="">
<mo> ⩾ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\eqslantgtr"/>
<pat:mml op="">
<mo> ⪖ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\eqslantgtr"/>
<pat:mml op="">
<mo> ⋝ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\gtrsim"/>
<pat:mml op="≳">
<mo> ≳ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\gtrapprox"/>
<pat:mml op="">
<mo> ⪆ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\gtrdot"/>
<pat:mml op="⋗">
<mo> ⋗ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ggg"/>
<pat:mml op="⋙">
<mo> ⋙ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\gtrless"/>
<pat:mml op="≷">
<mo> ≷ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\gtreqless"/>
<pat:mml op="⋛">
<mo> ⋛ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\gtreqqless"/>
<pat:mml op="">
<mo> ⪌ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\eqcirc"/>
<pat:mml op="≖">
<mo> ≖ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\circeq"/>
<pat:mml op="≗">
<mo> ≗ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\triangleq"/>
<pat:mml op="≜">
<mo> ≜ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\thicksim"/>
<pat:mml op="∼">
<mo> ∼ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\supseteqq"/>
<pat:mml op="">
<mo> ⫆ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\thickapprox"/>
<pat:mml op="≈">
<mo> ≈ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Supset"/>
<pat:mml op="⋑">
<mo> ⋑ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\sqsupset"/>
<pat:mml op="⊐">
<mo> ⊐ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\succcurlyeq"/>
<pat:mml op="≽">
<mo> ≽ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\curlyeqsucc"/>
<pat:mml op="⋟">
<mo> ⋟ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\succsim"/>
<pat:mml op="≿">
<mo> ≿ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\succapprox"/>
<pat:mml op="">
<mo> ⪸ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\vartriangleright"/>
<pat:mml op="⊳">
<mo> ⊳ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\trianglerighteq"/>
<pat:mml op="⊵">
<mo> ⊵ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Vdash"/>
<pat:mml op="⊩">
<mo> ⊩ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\shortmid"/>
<pat:mml op="">
<mo> ∣ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\shortparallel"/>
<pat:mml op="">
<mo> ∥ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\between"/>
<pat:mml op="≬">
<mo> ≬ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\pitchfork"/>
<pat:mml op="⏔">
<mo> ⏔ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\varpropto"/>
<pat:mml op="∝">
<mo> ∝ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\blacktriangleleft"/>
<pat:mml op="◀">
<mo> ◀ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\therefore"/>
<pat:mml op="∴">
<mo> ∴ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\backepsilon"/>
<pat:mml op="∋">
<mo> ∋ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\blacktriangleright"/>
<pat:mml op="▶">
<mo> ▶ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\because"/>
<pat:mml op="∵">
<mo> ∵ </mo>
</pat:mml>
</pat:template>
<!-- AMS negated relational symbols -->
<pat:template>
<pat:tex op="\nless"/>
<pat:mml op="≮">
<mo> ≮ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nleq"/>
<pat:mml op="≰">
<mo> ≰ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lneq"/>
<pat:mml op="">
<mo> ⪇ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lneqq"/>
<pat:mml op="≨">
<mo> ≨ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lnsim"/>
<pat:mml op="⋦">
<mo> ⋦ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lnapprox"/>
<pat:mml op="">
<mo> ⪉ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\precnsim"/>
<pat:mml op="⋨">
<mo> ⋨ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\precnapprox"/>
<pat:mml op="">
<mo> ⪹ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nsim"/>
<pat:mml op="≁">
<mo> ≁ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nmid"/>
<pat:mml op="∤">
<mo> ∤ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nvdash"/>
<pat:mml op="⊬">
<mo> ⊬ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nvDash"/>
<pat:mml op="⊭">
<mo> ⊭ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ntriangleleft"/>
<pat:mml op="⋪">
<mo> ⋪ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ntrianglelefteq"/>
<pat:mml op="⋬">
<mo> ⋬ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nsubseteq"/>
<pat:mml op="⊈">
<mo> ⊈ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\subsetneq"/>
<pat:mml op="⊊">
<mo> ⊊ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\subsetneqq"/>
<pat:mml op="">
<mo> ⫋ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ntrianglelefteq"/>
<pat:mml op="⋬">
<mo> ⋬ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ngtr"/>
<pat:mml op="≯">
<mo> ≯ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ngeq"/>
<pat:mml op="≱">
<mo> ≱ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\gneq"/>
<pat:mml op="">
<mo> ⪈ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\gneqq"/>
<pat:mml op="≩">
<mo> ≩ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\gnsim"/>
<pat:mml op="⋧">
<mo> ⋧ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\gnapprox"/>
<pat:mml op="">
<mo> ⪊ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\succnsim"/>
<pat:mml op="⋩">
<mo> ⋩ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\succnapprox"/>
<pat:mml op="">
<mo> ⪺ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ncong"/>
<pat:mml op="≇">
<mo> ≇ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nshortparallel"/>
<pat:mml op="∦">
<mo> ∦ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nparallel"/>
<pat:mml op="∦">
<mo> ∦ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nVDash"/>
<pat:mml op="⊯">
<mo> ⊯ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ntriangleright"/>
<pat:mml op="⋫">
<mo> ⋫ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ntrianglerighteq"/>
<pat:mml op="⋭">
<mo> ⋭ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nsupseteq"/>
<pat:mml op="⊉">
<mo> ⊉ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nsupseteq"/>
<pat:mml op="⊉">
<mo> ⊉ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\supsetneq"/>
<pat:mml op="⊋">
<mo> ⊋ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\supsetneqq"/>
<pat:mml op="">
<mo> ⫌ </mo>
</pat:mml>
</pat:template>
<!-- Miscellaneous AMS symbols -->
<pat:template>
<pat:tex op="\hbar"/>
<pat:mml op="ħ">
<mo> ħ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\hslash"/>
<pat:mml op="ℏ">
<mo> ℏ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\vartriangle"/>
<pat:mml op="△">
<mo> △ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\triangledown"/>
<pat:mml op="▽">
<mo> ▽ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\square"/>
<pat:mml op="□">
<mo> □ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lozenge"/>
<pat:mml op="◊">
<mo> ◊ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\circledS"/>
<pat:mml op="Ⓢ">
<mo> Ⓢ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\measuredangle"/>
<pat:mml op="∡">
<mo> ∡ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nexists"/>
<pat:mml op="∄">
<mo> ∄ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mho"/>
<pat:mml op="℧">
<mo> ℧ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Finv"/>
<pat:mml op="Ⅎ">
<mo> Ⅎ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\backprime"/>
<pat:mml op="‵">
<mo> ‵ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\varnothing"/>
<pat:mml op="Ø">
<mo> Ø </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\blacktriangle"/>
<pat:mml op="▲">
<mo> ▲ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\blacktriangledown"/>
<pat:mml op="▼">
<mo> ▼ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\blacksquare"/>
<pat:mml op="■">
<mo> ■ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\blacklozenge"/>
<pat:mml op="◊">
<mo> ◊ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bigstar"/>
<pat:mml op="★">
<mo> ★ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\sphericalangle"/>
<pat:mml op="∢">
<mo> ∢ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\complement"/>
<pat:mml op="∁">
<mo> ∁ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\eth"/>
<pat:mml op="ð">
<mo> ð </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\qed"/>
<pat:mml op="□">
<mo> □ </mo>
</pat:mml>
</pat:template>
<!-- Handlers for parenthesized structures -->
<pat:template>
<pat:tex op="\left" params=". \patVAR*{expr} \right." prec="154"/>
<pat:mml op="">
<pat:variable name="expr"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\left" params="\patVAR!{lDelim} \patVAR*{expr} \right." prec="152"/>
<pat:mml op="">
<mfenced separators="" close="">
<pat:variable name="lDelim" attribute="open"/>
<pat:variable name="expr"/>
</mfenced>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\left" params=". \patVAR*{expr} \right\patVAR!{rDelim}" prec="152"/>
<pat:mml op="">
<mfenced separators="" open="">
<pat:variable name="expr"/>
<pat:variable name="rDelim" attribute="close"/>
</mfenced>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\left" params="\patVAR!{lDelim} \patVAR*{expr} \right\patVAR!{rDelim}" prec="150"/>
<pat:mml op="">
<mfenced separators="">
<pat:variable name="lDelim" attribute="open"/>
<pat:variable name="expr"/>
<pat:variable name="rDelim" attribute="close"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- Used by MathML to TeX only -->
<!-- {B} -->
<pat:template>
<pat:tex op="" params="\left\{ \patVAR*{c} \right\}"/>
<pat:mml op="mfenced">
<mfenced open="{" close="}">
<pat:variable name="c"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- {BsBsT} -->
<pat:template>
<pat:tex op="" params="\left\{ \patREP*{\patVAR*{b}\patREP*{\patVAR{~s}}}\patVAR*{t} \right\}"/>
<pat:mml op="mfenced">
<mfenced open="{" close="}" separators="rep:variable =~s">
<pat:rep> <pat:variable name="b"/> </pat:rep>
<pat:variable name="t"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- {B,B,T} -->
<pat:template>
<pat:tex op="" params="\left\{ \patREP*{\patVAR*{b},}\patVAR*{t} \right\}"/>
<pat:mml op="mfenced">
<mfenced open="{" close="}">
<pat:rep> <pat:variable name="b"/> </pat:rep>
<pat:variable name="t"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- {B \left.C -->
<pat:template>
<pat:tex op="" params="\left\{ \patVAR*{b} \right\patVAR!{c}"/>
<pat:mml op="mfenced">
<mfenced open="{" close="pat:variable =c">
<pat:variable name="b"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- {BsBsT \left.C -->
<pat:template>
<pat:tex op="" params="\left\{ \patREP*{\patVAR*{b}\patREP*{\patVAR{~s}}}\patVAR*{t} \right\patVAR!{c}"/>
<pat:mml op="mfenced">
<mfenced open="{" close="pat:variable =c" separators="rep:variable =~s">
<pat:rep> <pat:variable name="b"/> </pat:rep>
<pat:variable name="t"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- {B,B,T \left.C -->
<pat:template>
<pat:tex op="" params="\left\{ \patREP*{\patVAR*{b},}\patVAR*{t} \right\patVAR!{c}"/>
<pat:mml op="mfenced">
<mfenced open="{" close="pat:variable =c">
<pat:rep> <pat:variable name="b"/> </pat:rep>
<pat:variable name="t"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- \right.O B} -->
<pat:template>
<pat:tex op="" params="\left \patVAR!{o} \patVAR*{c} \right\}"/>
<pat:mml op="mfenced">
<mfenced open="pat:variable =o" close="}">
<pat:variable name="c"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- \right.O BsBsT}-->
<pat:template>
<pat:tex op="" params="\left\patVAR!{o} \patREP*{\patVAR*{b}\patREP*{\patVAR{~s}}}\patVAR{t} \right\}"/>
<pat:mml op="mfenced">
<mfenced open="pat:variable =o" close="}" separators="rep:variable =~s">
<pat:rep> <pat:variable name="b"/></pat:rep>
<pat:variable name="t"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- \right.O B,B,T} -->
<pat:template>
<pat:tex op="" params="\left\patVAR!{o} \patREP*{\patVAR*{b},}\patVAR{t} \right\}"/>
<pat:mml op="mfenced">
<mfenced open="pat:variable =o" close="}">
<pat:rep> <pat:variable name="b"/></pat:rep>
<pat:variable name="t"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- \right.O B \left.C -->
<pat:template>
<pat:tex op="" params="\left\patVAR!{o} \patVAR*{b} \right\patVAR!{c}"/>
<pat:mml op="mfenced">
<mfenced open="pat:variable=o" close="pat:variable=c">
<pat:variable name="b"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- \right.O B s B s T\left.C -->
<pat:template>
<pat:tex op="" params="\left\patVAR!{o} \patREP*{\patVAR*{b} \patREP*{\patVAR{~s}}} \patVAR{t} \right\patVAR!{c}"/>
<pat:mml op="mfenced">
<mfenced open="pat:variable=o" close="pat:variable=c" separators="rep:variable=~s">
<pat:rep><pat:variable name="b"/></pat:rep>
<pat:variable name="t"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- \right.O B,B,T \left.C -->
<pat:template>
<pat:tex op="" params="\left\patVAR!{o} \patREP*{\patVAR*{b},}\patVAR{t} \right\patVAR!{c}"/>
<pat:mml op="mfenced">
<mfenced open="pat:variable=o" close="pat:variable=c">
<pat:rep> <pat:variable name="b"/> </pat:rep>
<pat:variable name="t"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- {B) -->
<pat:template>
<pat:tex op="" params="\left\{ \patVAR*{b} \right)"/>
<pat:mml op="mfenced">
<mfenced open="{">
<pat:variable name="b"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- \left.O B) -->
<pat:template>
<pat:tex op="" params="\left\patVAR{o} \patVAR*{b} \right)"/>
<pat:mml op="mfenced">
<mfenced open="pat:variable =o">
<pat:variable name="b"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- (B} -->
<pat:template>
<pat:tex op="" params="\left( \patVAR*{b} \right\}"/>
<pat:mml op="mfenced">
<mfenced open="{">
<pat:variable name="b"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- (B \.c -->
<pat:template>
<pat:tex op="" params="\left( \patVAR*{a} \right\patVAR*{c}"/>
<pat:mml op="mfenced">
<mfenced close="pat:variable =c">
<pat:variable name="b"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- (B) -->
<pat:template>
<pat:tex op="" params="\left( \patVAR*{c} \right)"/>
<pat:mml op="mfenced">
<mfenced>
<pat:variable name="c"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- (B s B s T) -->
<pat:template>
<pat:tex op="" params="\left( \patREP*{\patVAR{b} \patREP*{\patVAR!{~s}}} \patVAR{t} \right)"/>
<pat:mml op="mfenced">
<mfenced separators="rep:variable name =~s">
<pat:rep>
<pat:variable name="b"/>
</pat:rep>
<pat:variable name="t"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- { B,B,T) -->
<pat:template>
<pat:tex op="" params="\left\{ \patREP*{\patVAR*{b},} \patVAR{t} \right)"/>
<pat:mml op="mfenced">
<mfenced open="{">
<pat:rep>
<pat:variable name="b"/>
</pat:rep>
<pat:variable name="t"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- \open B,B,T) -->
<pat:template>
<pat:tex op="" params="\left\patVAR!{o} \patREP*{\patVAR*{b},} \patVAR{t} \right)"/>
<pat:mml op="mfenced">
<mfenced open="pat:variable name=o">
<pat:rep>
<pat:variable name="b"/>
</pat:rep>
<pat:variable name="t"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- (B,B,T } -->
<pat:template>
<pat:tex op="" params="\left( \patREP*{\patVAR*{b},} \patVAR{t} \right\}"/>
<pat:mml op="mfenced">
<mfenced close="}">
<pat:rep>
<pat:variable name="b"/>
</pat:rep>
<pat:variable name="t"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- \open B,B,T) -->
<pat:template>
<pat:tex op="" params="\left\patVAR!{o} \patREP*{\patVAR*{b},} \patVAR{t} \right)"/>
<pat:mml op="mfenced">
<mfenced open="pat:variable name=o">
<pat:rep>
<pat:variable name="b"/>
</pat:rep>
<pat:variable name="t"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- (B,B,T \close -->
<pat:template>
<pat:tex op="" params="\left( \patREP*{\patVAR*{b},} \patVAR{t} \right\patVAR!{c}"/>
<pat:mml op="mfenced">
<mfenced close="pat:variable name=c">
<pat:rep>
<pat:variable name="b"/>
</pat:rep>
<pat:variable name="t"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- (B,B,T) -->
<pat:template>
<pat:tex op="" params="\left( \patREP*{\patVAR*{b},} \patVAR{t} \right)"/>
<pat:mml op="mfenced">
<mfenced>
<pat:rep>
<pat:variable name="b"/>
</pat:rep>
<pat:variable name="t"/>
</mfenced>
</pat:mml>
</pat:template>
<!-- END: MathML to TeX -->
<!-- Under/over modifiers -->
<pat:template>
<pat:tex op="\underbrace" params="\patVAR!{expr}_\patVAR!{lims}"/>
<pat:mml op="">
<munder>
<munder>
<pat:variable name="expr"/>
<mo stretchy="true"> ︸ </mo>
</munder>
<pat:variable name="lims"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\underbrace" params="\patVAR!{expr}"/>
<pat:mml op="munder ︸">
<munder>
<pat:variable name="expr"/>
<mo stretchy="true"> ︸ </mo>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\overbrace" params="\patVAR!{expr}^\patVAR!{lims}"/>
<pat:mml op="">
<mover>
<mover>
<pat:variable name="expr"/>
<mo stretchy="true"> ︷ </mo>
</mover>
<pat:variable name="lims"/>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\overbrace" params="\patVAR!{expr}"/>
<pat:mml op="mover ︷">
<mover>
<pat:variable name="expr"/>
<mo stretchy="true"> ︷ </mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\underline" params="\patVAR!{expr}"/> <!-- 02CD 005F 00AF -->
<pat:mml op="munder ̲">
<munder>
<pat:variable name="expr"/>
<mo stretchy="true"> ¯ </mo>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\overline" params="\patVAR!{expr}"/> <!-- 02C9 00AF -->
<pat:mml op="mover ¯">
<mover>
<pat:variable name="expr"/>
<mo stretchy="true"> ¯ </mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\widehat" params="\patVAR!{expr}"/> <!-- 02C6 0060 -->
<pat:mml op="mover ̂">
<mover>
<pat:variable name="expr"/>
<mo>ˆ</mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\widetilde" params="\patVAR!{expr}"/> <!-- 02DC 007E -->
<pat:mml op="mover ̃">
<mover>
<pat:variable name="expr"/>
<mo>˜</mo>
</mover>
</pat:mml>
</pat:template>
<!-- Math accents -->
<pat:template>
<pat:tex op="\hat" params="\patVAR!{symbol}"/> <!-- 02C6 005E -->
<pat:mml op="mover ̂">
<mover>
<pat:variable name="symbol"/>
<mo>ˆ</mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Hat" params="\patVAR!{symbol}"/>
<pat:mml op="mover ̂">
<mover>
<pat:variable name="symbol"/>
<mo>ˆ</mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\breve" params="\patVAR!{symbol}"/> <!-- 02D8 -->
<pat:mml op="mover ̆">
<mover>
<pat:variable name="symbol"/>
<mo>˘</mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Breve" params="\patVAR!{symbol}"/>
<pat:mml op="mover ̆">
<mover>
<pat:variable name="symbol"/>
<mo>˘</mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\grave" params="\patVAR!{symbol}"/> <!-- 02CB 0060 -->
<pat:mml op="mover ̀">
<mover>
<pat:variable name="symbol"/>
<mo>ˋ</mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Grave" params="\patVAR!{symbol}"/>
<pat:mml op="mover ̀">
<mover>
<pat:variable name="symbol"/>
<mo>ˋ</mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bar" params="\patVAR!{symbol}"/> <!-- 02C9 00AF -->
<pat:mml op="mover ̄">
<mover>
<pat:variable name="symbol"/>
<mo>ˉ</mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Bar" params="\patVAR!{symbol}"/>
<pat:mml op="mover ̄">
<mover>
<pat:variable name="symbol"/>
<mo>ˉ</mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\check" params="\patVAR!{symbol}"/> <!-- 02C7 -->
<pat:mml op="mover ̌">
<mover>
<pat:variable name="symbol"/>
<mo>ˇ</mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Check" params="\patVAR!{symbol}"/>
<pat:mml op="mover ̌">
<mover>
<pat:variable name="symbol"/>
<mo>ˇ</mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\acute" params="\patVAR!{symbol}"/> <!-- 02B9 00B4 -->
<pat:mml op="mover ́">
<mover>
<pat:variable name="symbol"/>
<mo>ʹ</mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Acute" params="\patVAR!{symbol}"/>
<pat:mml op="mover ́">
<mover>
<pat:variable name="symbol"/>
<mo>ʹ</mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\tilde" params="\patVAR!{symbol}"/> <!-- 02DC 007E -->
<pat:mml op="mover ̃">
<mover>
<pat:variable name="symbol"/>
<mo>˜</mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Tilde" params="\patVAR!{symbol}"/>
<pat:mml op="mover ̃">
<mover>
<pat:variable name="symbol"/>
<mo>˜</mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\vec" params="\patVAR!{symbol}"/>
<pat:mml op="mover ̄">
<mover>
<pat:variable name="symbol"/>
<mo>⃗</mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Vec" params="\patVAR!{symbol}"/>
<pat:mml op="mover ̄">
<mover>
<pat:variable name="symbol"/>
<mo>⃗</mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\dot" params="\patVAR!{symbol}"/> <!-- 02D9 -->
<pat:mml op="">
<mover>
<pat:variable name="symbol"/>
<mo> . </mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Dot" params="\patVAR!{symbol}"/>
<pat:mml op="">
<mover>
<pat:variable name="symbol"/>
<mo> . </mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ddot" params="\patVAR!{symbol}"/> <!-- 00A8 -->
<pat:mml op="">
<mover>
<pat:variable name="symbol"/>
<mo> .. </mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Ddot" params="\patVAR!{symbol}"/>
<pat:mml op="">
<mover>
<pat:variable name="symbol"/>
<mo> .. </mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\dddot" params="\patVAR!{symbol}"/> <!-- 20DB -->
<pat:mml op="">
<mover>
<pat:variable name="symbol"/>
<mo> ... </mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ddddot" params="\patVAR!{symbol}"/> <!-- 20DC -->
<pat:mml op="">
<mover>
<pat:variable name="symbol"/>
<mo> .... </mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathring" params="\patVAR!{symbol}"/> <!-- 20DA -->
<pat:mml op="mover ̊">
<mover>
<pat:variable name="symbol"/>
<mo>˚</mo>
</mover>
</pat:mml>
</pat:template>
<!-- Accents -->
<pat:template>
<pat:tex op="\`" params="\patVAR!{symbol}"/>
<pat:mml op="">
<pat:variable name="symbol"/>̀
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\'" params="\patVAR!{symbol}"/>
<pat:mml op="">
<pat:variable name="symbol"/>́
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\^" params="\patVAR!{symbol}"/>
<pat:mml op="">
<pat:variable name="symbol"/>̂
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\"" params="\patVAR!{symbol}"/>
<pat:mml op="">
<pat:variable name="symbol"/>̈
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\~" params="\patVAR!{symbol}"/>
<pat:mml op="">
<pat:variable name="symbol"/>̃
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\=" params="\patVAR!{symbol}"/>
<pat:mml op="">
<pat:variable name="symbol"/>̄
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\." params="\patVAR!{symbol}"/>
<pat:mml op="">
<pat:variable name="symbol"/>̇
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\u" params="{\patVAR+{symbol}}"/>
<pat:mml op="">
<pat:variable name="symbol"/>̆
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\v" params="{\patVAR+{symbol}}"/>
<pat:mml op="">
<pat:variable name="symbol"/>̌
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\H" params="{\patVAR+{symbol}}"/>
<pat:mml op="">
<pat:variable name="symbol"/>̋
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\t" params="{\patVAR+{symbol}}"/>
<pat:mml op="">
<pat:variable name="symbol"/>͡
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\c" params="{\patVAR+{symbol}}"/>
<pat:mml op="">
<pat:variable name="symbol"/>̧
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\d" params="{\patVAR+{symbol}}"/>
<pat:mml op="">
<pat:variable name="symbol"/>̣
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\b" params="{\patVAR+{symbol}}"/>
<pat:mml op="">
<pat:variable name="symbol"/>̠
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\r" params="{\patVAR+{symbol}}"/>
<pat:mml op="">
<pat:variable name="symbol"/>̊
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\i"/>
<pat:mml op="">
<mo> ı </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\j"/> <!-- nothing even close -->
<pat:mml op="">
<mo> j </mo>
</pat:mml>
</pat:template>
<!-- Greek alphabet -->
<pat:template>
<pat:tex op="\alpha"/>
<pat:mml op="α">
<mi> α </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\beta"/>
<pat:mml op="β">
<mi> β </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\gamma"/>
<pat:mml op="γ">
<mi> γ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\delta"/>
<pat:mml op="δ">
<mi> δ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\epsilon"/>
<pat:mml op="ε">
<mi> ε </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\varepsilon"/>
<pat:mml op="ε">
<mi> ε </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\zeta"/>
<pat:mml op="ζ">
<mi> ζ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\eta"/>
<pat:mml op="η">
<mi> η </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\theta"/>
<pat:mml op="θ">
<mi> θ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\vartheta"/>
<pat:mml op="ϑ">
<mi> ϑ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\iota"/>
<pat:mml op="ι">
<mi> ι </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\kappa"/>
<pat:mml op="κ">
<mi> κ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lambda"/>
<pat:mml op="λ">
<mi> λ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mu"/>
<pat:mml op="μ">
<mi> μ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nu"/>
<pat:mml op="ν">
<mi> ν </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\xi"/>
<pat:mml op="ξ">
<mi> ξ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\pi"/>
<pat:mml op="π">
<mi> π </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\varpi"/>
<pat:mml op="ϖ">
<mi> ϖ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rho"/>
<pat:mml op="ρ">
<mi> ρ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\varrho"/>
<pat:mml op="ϱ">
<mi> ϱ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\varsigma"/>
<pat:mml op="ς">
<mi> ς </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\sigma"/>
<pat:mml op="σ">
<mi> σ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\tau"/>
<pat:mml op="τ">
<mi> τ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\upsilon"/>
<pat:mml op="υ">
<mi> υ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\phi"/>
<pat:mml op="φ">
<mi> φ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\varphi"/>
<pat:mml op="ϕ">
<mi> ϕ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\chi"/>
<pat:mml op="χ">
<mi> χ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\psi"/>
<pat:mml op="ψ">
<mi> ψ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\omega"/>
<pat:mml op="ω">
<mi> ω </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Gamma"/>
<pat:mml op="Γ">
<mi> Γ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Delta"/>
<pat:mml op="Δ">
<mi> Δ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Theta"/>
<pat:mml op="Θ">
<mi> Θ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Lambda"/>
<pat:mml op="Λ">
<mi> Λ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Xi"/>
<pat:mml op="Ξ">
<mi> Ξ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Pi"/>
<pat:mml op="Π">
<mi> Π </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Sigma"/>
<pat:mml op="Σ">
<mi> Σ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Upsilon"/>
<pat:mml op="Υ">
<mi> Υ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Phi"/>
<pat:mml op="Φ">
<mi> Φ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Psi"/>
<pat:mml op="Ψ">
<mi> Ψ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Omega"/>
<pat:mml op="Ω">
<mi> Ω </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\varGamma"/>
<pat:mml op="𝛤">
<mi> Γ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\varDelta"/>
<pat:mml op="𝛥">
<mi> Δ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\varTheta"/>
<pat:mml op="𝛩">
<mi> Θ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\varLambda"/>
<pat:mml op="𝛬">
<mi> Λ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\varXi"/>
<pat:mml op="𝛯">
<mi> Ξ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\varPi"/>
<pat:mml op="𝛱">
<mi> Π </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\varSigma"/>
<pat:mml op="𝛴">
<mi> Σ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\varUpsilon"/>
<pat:mml op="𝛶">
<mi> Υ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\varPhi"/>
<pat:mml op="𝛷">
<mi> Φ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\varPsi"/>
<pat:mml op="𝛹">
<mi> Ψ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\varOmega"/>
<pat:mml op="𝛺">
<mi> Ω </mi>
</pat:mml>
</pat:template>
<!-- Miscellaneous common characters -->
<pat:template>
<pat:tex op="\colon"/>
<pat:mml op=":">
<mo> : </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="*"/>
<pat:mml op="*">
<mo> * </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\#"/>
<pat:mml op="#">
<mo> # </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\$"/>
<pat:mml op="$">
<mo> $ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\%"/>
<pat:mml op="%">
<mo> % </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\&"/>
<pat:mml op="&">
<mo> & </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\_"/>
<pat:mml op="_">
<mo> _ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="!"/>
<pat:mml op="!">
<mo> ! </mo>
</pat:mml>
</pat:template>
<!-- Miscellaneous symbols -->
<pat:template>
<pat:tex op="\aleph"/>
<pat:mml op="ℵ">
<mo> ℵ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\imath"/> <!-- 0269 -->
<pat:mml op="">
<mo> ⍳ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\jmath"/> <!-- nothing even close -->
<pat:mml op="">
<mo> j </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ell"/>
<pat:mml op="ℓ">
<mo> ℓ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\wp"/>
<pat:mml op="℘">
<mo> ℘ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Re"/>
<pat:mml op="ℜ">
<mo> ℜ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Im"/>
<pat:mml op="ℑ">
<mo> ℑ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\prime"/>
<pat:mml op="′">
<mo> ′ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\emptyset"/>
<pat:mml op="∅">
<mo> ∅ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nabla"/>
<pat:mml op="∇">
<mo> ∇ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\surd"/>
<pat:mml op="√">
<mo> √ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\partial"/>
<pat:mml op="∂">
<mo> ∂ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\top"/>
<pat:mml op="Τ">
<mo> Τ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bot"/>
<pat:mml op="Υ">
<mo> Υ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\vdash"/>
<pat:mml op="⊢">
<mo> ⊢ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\dashv"/>
<pat:mml op="⊣">
<mo> ⊣ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\forall"/>
<pat:mml op="∀">
<mo> ∀ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\exists"/>
<pat:mml op="∃">
<mo> ∃ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\neg"/>
<pat:mml op="¬">
<mo> ¬ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\flat"/>
<pat:mml op="♭">
<mo> ♭ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\natural"/>
<pat:mml op="♮">
<mo> ♮ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\sharp"/>
<pat:mml op="♯">
<mo> ♯ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\angle"/>
<pat:mml op="∠">
<mo> ∠ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Box"/>
<pat:mml op="▫">
<mo> ▫ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Diamond"/>
<pat:mml op="◊">
<mo> ◊ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\triangle"/>
<pat:mml op="△">
<mo> △ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\clubsuit"/>
<pat:mml op="♣">
<mo> ♣ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\diamondsuit"/>
<pat:mml op="♦">
<mo> ♦ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\heartsuit"/>
<pat:mml op="♥">
<mo> ♥ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\spadesuit"/>
<pat:mml op=" ♠">
<mo> ♠ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Join"/>
<pat:mml op="⋈">
<mo> ⋈ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\infty"/>
<pat:mml op=" ∞">
<mo> ∞ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lnot"/>
<pat:mml op="⌐">
<mo> ⌐ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bull"/>
<pat:mml op="">
<mo> ▪ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\cents"/>
<pat:mml op="">
<mo> ¢ </mo>
</pat:mml>
</pat:template>
<!-- Math symbols in two sizes -->
<pat:template>
<pat:tex op="\sum" params="\nolimits_\patVAR!{a}^\patVAR!{b}"/>
<pat:mml op="∑">
<msubsup>
<mo> ∑ </mo>
<pat:variable name="a"/>
<pat:variable name="b"/>
</msubsup>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\sum" params="\limits_\patVAR!{a}^\patVAR!{b}"/>
<pat:mml op="∑">
<munderover>
<mo> ∑ </mo>
<pat:variable name="a"/>
<pat:variable name="b"/>
</munderover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\sum" params="\nolimits_\patVAR!{a}"/>
<pat:mml op="∑">
<msub>
<mo> ∑ </mo>
<pat:variable name="a"/>
</msub>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\sum" params="_\patVAR!{a}^\patVAR!{b}" prec="350"/>
<pat:mml op="∑">
<munderover>
<mo> ∑ </mo>
<pat:variable name="a"/>
<pat:variable name="b"/>
</munderover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\sum" params="_\patVAR!{a}" prec="350"/>
<pat:mml op="∑">
<munder>
<mo> ∑ </mo>
<pat:variable name="a"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\sum"/>
<pat:mml op="∑">
<mo> ∑ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\prod" params="\nolimits_\patVAR!{a}^\patVAR!{b}"/>
<pat:mml op="∏">
<msubsup>
<mo> ∏ </mo>
<pat:variable name="a"/>
<pat:variable name="b"/>
</msubsup>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\prod" params="\limits_\patVAR!{a}^\patVAR!{b}"/>
<pat:mml op="∏">
<munderover>
<mo> ∏ </mo>
<pat:variable name="a"/>
<pat:variable name="b"/>
</munderover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\prod" params="\nolimits_\patVAR!{a}"/>
<pat:mml op="∏">
<msub>
<mo> ∏ </mo>
<pat:variable name="a"/>
</msub>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\prod" params="_\patVAR!{a}^\patVAR!{b}" prec="350"/>
<pat:mml op="∏">
<munderover>
<mo> ∏ </mo>
<pat:variable name="a"/>
<pat:variable name="b"/>
</munderover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\prod" params="_\patVAR!{a}" prec="350"/>
<pat:mml op="∏">
<munder>
<mo> ∏ </mo>
<pat:variable name="a"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\prod"/>
<pat:mml op="∏">
<mo> ∏ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\coprod" params="\nolimits_\patVAR!{a}^\patVAR!{b}"/>
<pat:mml op="∐">
<msubsup>
<mo> ∐ </mo>
<pat:variable name="a"/>
<pat:variable name="b"/>
</msubsup>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\coprod" params="\nolimits_\patVAR!{a}"/>
<pat:mml op="∐">
<msub>
<mo> ∐ </mo>
<pat:variable name="a"/>
</msub>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\coprod" params="_\patVAR!{a}^\patVAR!{b}" prec="350"/>
<pat:mml op="∐">
<munderover>
<mo> ∐ </mo>
<pat:variable name="a"/>
<pat:variable name="b"/>
</munderover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\coprod" params="_\patVAR!{a}" prec="350"/>
<pat:mml op="∐">
<munder>
<mo> ∐ </mo>
<pat:variable name="a"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\coprod"/>
<pat:mml op="∐">
<mo> ∐ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\int" params="\limits_\patVAR!{a}^\patVAR!{b}"/>
<pat:mml op="∫">
<munderover>
<mo> ∫ </mo>
<pat:variable name="a"/>
<pat:variable name="b"/>
</munderover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\int" params="\limits_\patVAR!{a}"/>
<pat:mml op="∫">
<munder>
<mo> ∫ </mo>
<pat:variable name="a"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\int" params="\nolimits_\patVAR!{a}^\patVAR!{b}"/>
<pat:mml op="∫">
<msubsup>
<mo> ∫ </mo>
<pat:variable name="a"/>
<pat:variable name="b"/>
</msubsup>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\int" params="\nolimits_\patVAR!{a}"/>
<pat:mml op="∫">
<msub>
<mo> ∫ </mo>
<pat:variable name="a"/>
</msub>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\int" params="_\patVAR!{a}^\patVAR!{b}" prec="350"/>
<pat:mml op="∫">
<munderover>
<mo> ∫ </mo>
<pat:variable name="a"/>
<pat:variable name="b"/>
</munderover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\int" params="_\patVAR!{a}" prec="350"/>
<pat:mml op="∫">
<munder>
<mo> ∫ </mo>
<pat:variable name="a"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\int"/>
<pat:mml op="∫">
<mo> ∫ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\iint" params="\limits_\patVAR!{a}^\patVAR!{b}"/>
<pat:mml op="∬">
<munderover>
<mo> ∬ </mo>
<pat:variable name="a"/>
<pat:variable name="b"/>
</munderover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\iint" params="\limits_\patVAR!{a}"/>
<pat:mml op="∬">
<munder>
<mo> ∬ </mo>
<pat:variable name="a"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\iint" params="\nolimits_\patVAR!{a}^\patVAR!{b}"/>
<pat:mml op="∬">
<msubsup>
<mo> ∬ </mo>
<pat:variable name="a"/>
<pat:variable name="b"/>
</msubsup>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\iint" params="\nolimits_\patVAR!{a}"/>
<pat:mml op="∬">
<msub>
<mo> ∬ </mo>
<pat:variable name="a"/>
</msub>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\iint" params="_\patVAR!{a}^\patVAR!{b}" prec="350"/>
<pat:mml op="∬">
<munderover>
<mo> ∬ </mo>
<pat:variable name="a"/>
<pat:variable name="b"/>
</munderover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\iint" params="_\patVAR!{a}" prec="350"/>
<pat:mml op="∬">
<munder>
<mo> ∬ </mo>
<pat:variable name="a"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\iint"/>
<pat:mml op="∬">
<mo> ∬ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\iiint" params="\limits_\patVAR!{a}^\patVAR!{b}"/>
<pat:mml op="∭">
<munderover>
<mo> ∭ </mo>
<pat:variable name="a"/>
<pat:variable name="b"/>
</munderover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\iiint" params="\limits_\patVAR!{a}"/>
<pat:mml op="∭">
<munder>
<mo> ∭ </mo>
<pat:variable name="a"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\iiint" params="\nolimits_\patVAR!{a}^\patVAR!{b}"/>
<pat:mml op="∭">
<msubsup>
<mo> ∭ </mo>
<pat:variable name="a"/>
<pat:variable name="b"/>
</msubsup>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\iiint" params="\nolimits_\patVAR!{a}"/>
<pat:mml op="∭">
<msub>
<mo> ∭ </mo>
<pat:variable name="a"/>
</msub>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\iiint" params="_\patVAR!{a}^\patVAR!{b}" prec="350"/>
<pat:mml op="∭">
<munderover>
<mo> ∭ </mo>
<pat:variable name="a"/>
<pat:variable name="b"/>
</munderover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\iiint" params="_\patVAR!{a}" prec="350"/>
<pat:mml op="∭">
<munder>
<mo> ∭ </mo>
<pat:variable name="a"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\iiint"/>
<pat:mml op="∭">
<mo> ∭ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\iiiint" params="\limits_\patVAR!{a}^\patVAR!{b}"/>
<pat:mml op="⨌">
<munderover>
<mo> ⨌ </mo>
<pat:variable name="a"/>
<pat:variable name="b"/>
</munderover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\iiiint" params="\limits_\patVAR!{a}"/>
<pat:mml op="⨌">
<munder>
<mo> ⨌ </mo>
<pat:variable name="a"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\iiiint" params="\nolimits_\patVAR!{a}^\patVAR!{b}"/>
<pat:mml op="⨌">
<msubsup>
<mo> ⨌ </mo>
<pat:variable name="a"/>
<pat:variable name="b"/>
</msubsup>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\iiiint" params="\nolimits_\patVAR!{a}"/>
<pat:mml op="⨌">
<msub>
<mo> ⨌ </mo>
<pat:variable name="a"/>
</msub>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\iiiint" params="_\patVAR!{a}^\patVAR!{b}" prec="350"/>
<pat:mml op="⨌">
<munderover>
<mo> ⨌ </mo>
<pat:variable name="a"/>
<pat:variable name="b"/>
</munderover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\iiiint" params="_\patVAR!{a}" prec="350"/>
<pat:mml op="⨌">
<munder>
<mo> ⨌ </mo>
<pat:variable name="a"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\iiiint"/>
<pat:mml op="⨌">
<mo> ⨌ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\idotsint" params="\limits_\patVAR!{a}^\patVAR!{b}"/>
<pat:mml op="∫">
<munderover>
<mrow>
<mo> ∫ </mo>
<mo> ⋯ </mo>
<mo> ∫ </mo>
</mrow>
<pat:variable name="a"/>
<pat:variable name="b"/>
</munderover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\idotsint" params="\limits_\patVAR!{a}"/>
<pat:mml op="∫">
<munder>
<mrow>
<mo> ∫ </mo>
<mo> ⋯ </mo>
<mo> ∫ </mo>
</mrow>
<pat:variable name="a"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\idotsint" params="\nolimits_\patVAR!{a}^\patVAR!{b}"/>
<pat:mml op="∫">
<msubsup>
<mrow>
<mo> ∫ </mo>
<mo> ⋯ </mo>
<mo> ∫ </mo>
</mrow>
<pat:variable name="a"/>
<pat:variable name="b"/>
</msubsup>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\idotsint" params="\nolimits_\patVAR!{a}"/>
<pat:mml op="∫">
<msub>
<mrow>
<mo> ∫ </mo>
<mo> ⋯ </mo>
<mo> ∫ </mo>
</mrow>
<pat:variable name="a"/>
</msub>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\idotsint" params="_\patVAR!{a}^\patVAR!{b}" prec="350"/>
<pat:mml op="∫">
<munderover>
<mrow>
<mo> ∫ </mo>
<mo> ⋯ </mo>
<mo> ∫ </mo>
</mrow>
<pat:variable name="a"/>
<pat:variable name="b"/>
</munderover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\idotsint" params="_\patVAR!{a}" prec="350"/>
<pat:mml op="∫">
<munder>
<mrow>
<mo> ∫ </mo>
<mo> ⋯ </mo>
<mo> ∫ </mo>
</mrow>
<pat:variable name="a"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\idotsint"/>
<pat:mml op="∫">
<mo> ∫ </mo>
<mo> ⋯ </mo>
<mo> ∫ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\oint" params="\limits_\patVAR!{a}^\patVAR!{b}"/>
<pat:mml op="∮">
<munderover>
<mo> ∮ </mo>
<pat:variable name="a"/>
<pat:variable name="b"/>
</munderover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\oint" params="\limits_\patVAR!{a}"/>
<pat:mml op="∮">
<munder>
<mo> ∮ </mo>
<pat:variable name="a"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\oint" params="\nolimits_\patVAR!{a}^\patVAR!{b}"/>
<pat:mml op="∮">
<msubsup>
<mo> ∮ </mo>
<pat:variable name="a"/>
<pat:variable name="b"/>
</msubsup>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\oint" params="\nolimits_\patVAR!{a}"/>
<pat:mml op="∮">
<msub>
<mo> ∮ </mo>
<pat:variable name="a"/>
</msub>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\oint" params="_\patVAR!{a}^\patVAR!{b}" prec="350"/>
<pat:mml op="∮">
<munderover>
<mo> ∮ </mo>
<pat:variable name="a"/>
<pat:variable name="b"/>
</munderover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\oint" params="_\patVAR!{a}" prec="350"/>
<pat:mml op="∮">
<munder>
<mo> ∮ </mo>
<pat:variable name="a"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\oint"/>
<pat:mml op="∮">
<mo> ∮ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bigcap"/>
<pat:mml op="∩">
<mo> ∩ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bigcup"/>
<pat:mml op="∪">
<mo> ∪ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bigsqcup"/>
<pat:mml op="⊔">
<mo> ⊔ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bigvee"/>
<pat:mml op="⋁">
<mo> ⋁ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bigwedge"/>
<pat:mml op="⋀">
<mo> ⋀ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bigodot"/>
<pat:mml op="⊙">
<mo> ⊙ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bigotimes"/>
<pat:mml op="⊗">
<mo> ⊗ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bigoplus"/>
<pat:mml op="⊕">
<mo> ⊕ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\biguplus"/>
<pat:mml op="⊎">
<mo> ⊎ </mo>
</pat:mml>
</pat:template>
<!-- Special letters from other languages -->
<pat:template>
<pat:tex op="\oe"/>
<pat:mml op="œ">
<mo> œ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\OE"/>
<pat:mml op="Œ">
<mo> Œ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ae"/>
<pat:mml op="æ">
<mo> æ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\AE"/>
<pat:mml op="Æ">
<mo> Æ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\aa"/>
<pat:mml op="å">
<mo> å </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\AA"/>
<pat:mml op="Å">
<mo> Å </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\o"/>
<pat:mml op="ø">
<mo> ø </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\O"/>
<pat:mml op="Ø">
<mo> Ø </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\l"/>
<pat:mml op="ł">
<mo> ł </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\L"/>
<pat:mml op="Ł">
<mo> Ł </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\SS"/>
<pat:mml op="ß">
<mo> ß </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="!" params="`"/>
<pat:mml op="¡">
<mo> ¡ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="?" params="`"/>
<pat:mml op="¿">
<mo> ¿ </mo>
</pat:mml>
</pat:template>
<!-- Special symbols -->
<pat:template>
<pat:tex op="\S"/>
<pat:mml op="§">
<mo> § </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\copyright"/>
<pat:mml op="©">
<mo> © </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\P"/>
<pat:mml op="¶">
<mo> ¶ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\pounds"/>
<pat:mml op="£">
<mo> £ </mo>
</pat:mml>
</pat:template>
<!-- Binary operation symbols -->
<pat:template>
<pat:tex op="+"/>
<pat:mml op="+">
<mo> + </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="-"/>
<pat:mml op="-">
<mo> - </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\pm"/>
<pat:mml op="±">
<mo> ± </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mp"/>
<pat:mml op="∓">
<mo> ± </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\times"/>
<pat:mml op="×">
<mo> × </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\div"/>
<pat:mml op="÷">
<mo> ÷ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\cdot"/>
<pat:mml op="⋅">
<mo> ⋅ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ast"/>
<pat:mml op="*">
<mo> * </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\star"/>
<pat:mml op="⋆">
<mo> ⋆ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\dagger"/>
<pat:mml op="†">
<mo> † </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\dag"/>
<pat:mml op="">
<mo> † </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ddagger"/>
<pat:mml op="‡">
<mo> ‡ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ddag"/>
<pat:mml op="">
<mo> ‡ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\amalg"/>
<pat:mml op="">
<mo> ∐ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\cap"/>
<pat:mml op="∩">
<mo> ∩ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\cup"/>
<pat:mml op="∪">
<mo> ∪ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\uplus"/>
<pat:mml op="⊎">
<mo> ⊎ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\sqcap"/>
<pat:mml op="⊓">
<mo> ⊓ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\sqcup"/>
<pat:mml op="⊔">
<mo> ⊔ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\vee"/>
<pat:mml op="∨">
<mo> ∨ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\wedge"/>
<pat:mml op="∧">
<mo> ∧ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\oplus"/>
<pat:mml op="⊕">
<mo> ⊕ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ominus"/>
<pat:mml op="⊖">
<mo> ⊖ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\otimes"/>
<pat:mml op="⊗">
<mo> ⊗ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\oslash"/>
<pat:mml op="⊘">
<mo> ⊘ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\odot"/>
<pat:mml op="⊙">
<mo> ⊙ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\circ"/>
<pat:mml op="∘">
<mo> ∘ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bullet"/>
<pat:mml op="∙">
<mo> ∙ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\diamond"/>
<pat:mml op="⋄">
<mo> ⋄ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lhd"/>
<pat:mml op="⊲">
<mo> ⊲ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rhd"/>
<pat:mml op="⊳">
<mo> ⊳ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\unlhd"/>
<pat:mml op="⊴">
<mo> ⊴ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\unrhd"/>
<pat:mml op="⊵">
<mo> ⊵ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bigcirc"/>
<pat:mml op="◯">
<mo> ◯ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bigtriangleup"/>
<pat:mml op="△">
<mo> △ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bigtriangledown"/>
<pat:mml op="▽">
<mo> ▽ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\triangleleft"/>
<pat:mml op="◅">
<mo> ◅ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\triangleright"/>
<pat:mml op="▻">
<mo> ▻ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\setminus"/>
<pat:mml op="∖">
<mo> ∖ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\wr"/>
<pat:mml op="≀">
<mo> ≀ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lor"/>
<pat:mml op="∨">
<mo> ∨ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\land"/>
<pat:mml op="∧">
<mo> ∧ </mo>
</pat:mml>
</pat:template>
<!-- Dots -->
<pat:template>
<pat:tex op="\cdots"/>
<pat:mml op="⋯">
<mo> ⋯ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ddots"/>
<pat:mml op="⋱">
<mo> ⋱ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\vdots"/>
<pat:mml op="⋮">
<mo> ⋮ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ldots"/>
<pat:mml op="…">
<mo> … </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\dots"/>
<pat:mml op="⋯">
<mo> ⋯ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\dots" params=","/>
<pat:mml op="…">
<mo> … </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\dotsb"/>
<pat:mml op="⋯">
<mo> ⋯ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\dotsc"/>
<pat:mml op="…">
<mo> … </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\dotsi"/>
<pat:mml op="⋯">
<mo> ⋯ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\dotsm"/>
<pat:mml op="⋯">
<mo> ⋯ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\dotso"/>
<pat:mml op="⋯">
<mo> ⋯ </mo>
</pat:mml>
</pat:template>
<!-- Relational symbols -->
<pat:template>
<pat:tex op="="/>
<pat:mml op="=">
<mo> = </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\leq"/>
<pat:mml op="≤">
<mo> ≤ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\le"/>
<pat:mml op="≤">
<mo> ≤ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ll"/>
<pat:mml op="≪">
<mo> ≪ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\geq"/>
<pat:mml op="≥">
<mo> ≥ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ge"/>
<pat:mml op="≥">
<mo> ≥ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\gg"/>
<pat:mml op="≫">
<mo> ≫ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ne"/>
<pat:mml op="≠">
<mo> ≠ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\neq"/>
<pat:mml op="≠">
<mo> ≠ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\doteq"/>
<pat:mml op="≐">
<mo> ≐ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\subset"/>
<pat:mml op="⊂">
<mo> ⊂ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\subseteq"/>
<pat:mml op="⊆">
<mo> ⊆ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\sqsubseteq"/>
<pat:mml op="⊑">
<mo> ⊑ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\supset"/>
<pat:mml op="⊃">
<mo> ⊃ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\supseteq"/>
<pat:mml op="⊇">
<mo> ⊇ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\sqsupseteq"/>
<pat:mml op="⊒">
<mo> ⊒ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\in"/>
<pat:mml op="∈">
<mo> ∈ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ni"/>
<pat:mml op="∋">
<mo> ∋ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\models"/>
<pat:mml op="⊧">
<mo> ⊧ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\perp"/>
<pat:mml op="⊥">
<mo> ⊥ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\approx"/>
<pat:mml op="≈">
<mo> ≈ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\cong"/>
<pat:mml op="≅">
<mo> ≅ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\equiv"/>
<pat:mml op="≡">
<mo> ≍ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\propto"/>
<pat:mml op="∝">
<mo> ∝ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\prec"/>
<pat:mml op="≺">
<mo> ≺ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\preceq"/>
<pat:mml op="≼">
<mo> ≼ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\parallel"/>
<pat:mml op="∥">
<mo> ∥ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\sim"/>
<pat:mml op="∼">
<mo> ∼ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\simeq"/>
<pat:mml op="≃">
<mo> ≃ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\asymp"/>
<pat:mml op="≍">
<mo> ≍ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\smile"/>
<pat:mml op="⌣">
<mo> ⌣ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\frown"/>
<pat:mml op="⌢">
<mo> ⌢ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bowtie"/>
<pat:mml op="⋈">
<mo> ⋈ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\succ"/>
<pat:mml op="≻">
<mo> ≻ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\succeq"/>
<pat:mml op="≽">
<mo> ≽ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mid"/>
<pat:mml op="∣">
<mo> ∣ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\owns"/>
<pat:mml op="∋">
<mo> ∋ </mo>
</pat:mml>
</pat:template>
<!-- NOTs -->
<pat:template>
<pat:tex op="\not" params="<"/>
<pat:mml op="≮">
<mo> ≮ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\not" params=">"/>
<pat:mml op="≯">
<mo> ≯ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\not" params="="/>
<pat:mml op="≠">
<mo> ≠ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\not" params="\equiv"/>
<pat:mml op="≢">
<mo> ≢ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\not" params="\le"/>
<pat:mml op="≰">
<mo> ≰ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\not" params="\leq"/>
<pat:mml op="≰">
<mo> ≰ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\not" params="\ge"/>
<pat:mml op="≱">
<mo> ≱ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\not" params="\geq"/>
<pat:mml op="≱">
<mo> ≱ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\not" params="\prec"/>
<pat:mml op="⊀">
<mo> ⊀ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\not" params="\preceq"/>
<pat:mml op="⋠">
<mo> ⋠ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\not" params="\subset"/>
<pat:mml op="⊄">
<mo> ⊄ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\not" params="\subseteq"/>
<pat:mml op="⊈">
<mo> ⊈ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\not" params="\sqsubseteq"/>
<pat:mml op="⋢">
<mo> ⋢ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\not" params="\in"/>
<pat:mml op="∉">
<mo> ∉ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\notin"/>
<pat:mml op="∉">
<mo> ∉ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\not" params="\succ"/>
<pat:mml op="⊁">
<mo> ⊁ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\not" params="\succeq"/>
<pat:mml op="⋡">
<mo> ⋡ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\not" params="\supset"/>
<pat:mml op="⊅">
<mo> ⊅ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\not" params="\supseteq"/>
<pat:mml op="⊉">
<mo> ⊉ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\not" params="\sqsupseteq"/>
<pat:mml op="⋣">
<mo> ⋣ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\not" params="\sim"/>
<pat:mml op="≁">
<mo> ≁ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\not" params="\simeq"/>
<pat:mml op="≄">
<mo> ≄ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\not" params="\approx"/>
<pat:mml op="≉">
<mo> ≉ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\not" params="\cong"/>
<pat:mml op="≇">
<mo> ≇ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\not" params="\asymp"/>
<pat:mml op="≭">
<mo> ≭ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\not" params="\patVAR!{symbol}"/>
<pat:mml op="">
<pat:variable name="symbol"/>
<mpadded width="0em" lspace="-1em"><mo>/</mo></mpadded>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\frac" params="\patVAR!{num}\patVAR!{den}"/>
<pat:mml op="mfrac">
<mfrac>
<pat:variable name="num"/>
<pat:variable name="den"/>
</mfrac>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\cfrac" params="[\patVAR!{pos}]\patVAR!{num}\patVAR!{den}"/>
<pat:mml op="mfrac">
<mfrac>
<pat:variable name="num"/>
<pat:variable name="den"/>
</mfrac>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\cfrac" params="\patVAR!{num}\patVAR!{den}"/>
<pat:mml op="mfrac">
<mfrac>
<pat:variable name="num"/>
<pat:variable name="den"/>
</mfrac>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\dfrac" params="{\patVAR*{num}}{\patVAR*{den}}"/>
<pat:mml op="">
<mstyle displaystyle="true">
<mfrac>
<pat:variable name="num"/>
<pat:variable name="den"/>
</mfrac>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\tfrac" params="{\patVAR*{num}}{\patVAR*{den}}"/>
<pat:mml op="">
<mstyle displaystyle="false" scriptlevel="0">
<mfrac>
<pat:variable name="num"/>
<pat:variable name="den"/>
</mfrac>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\genfrac" params="{\patVAR*{l}}{\patVAR*{r}}{}{}{\patVAR*{num}}{\patVAR*{den}}"/>
<pat:mml op="">
<pat:variable name="l"/>
<mfrac>
<pat:variable name="num"/>
<pat:variable name="den"/>
</mfrac>
<pat:variable name="r"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\genfrac" params="{\patVAR*{l}}{\patVAR*{r}}{\patVAR*{thickness}}{0}{\patVAR*{num}}{\patVAR*{den}}"/>
<pat:mml op="">
<mstyle displaystyle="true">
<pat:variable name="l"/>
<mfrac>
<pat:variable name="num"/>
<pat:variable name="den"/>
</mfrac>
<pat:variable name="r"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\genfrac" params="{\patVAR*{l}}{\patVAR*{r}}{\patVAR*{thickness}}{\patVAR*{style}}{\patVAR*{num}}{\patVAR*{den}}"/>
<pat:mml op="">
<mstyle displaystyle="false">
<pat:variable name="style" attribute="scriptlevel" map="0=0 1=0 2=1 3=2"/>
<pat:variable name="l"/>
<mfrac>
<pat:variable name="num"/>
<pat:variable name="den"/>
</mfrac>
<pat:variable name="r"/>
</mstyle>
</pat:mml>
</pat:template>
<!-- Elementary functions -->
<pat:template>
<pat:tex op="\sqrt" params="[\patVAR+{deg}]\patVAR!{expr}"/>
<pat:mml op="mroot">
<mroot>
<pat:variable name="expr"/>
<pat:variable name="deg"/>
</mroot>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\sqrt" params="\patVAR!{expr}"/>
<pat:mml op="msqrt">
<msqrt>
<pat:variable name="expr"/>
</msqrt>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\root" params="\patVAR+{deg} \of \patVAR!{expr}"/>
<pat:mml op="mroot">
<mroot>
<pat:variable name="expr"/>
<pat:variable name="deg"/>
</mroot>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\arccos"/>
<pat:mml op="arccos">
<mi> arccos </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\arcsin"/>
<pat:mml op="arcsin">
<mi> arcsin </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\arctan"/>
<pat:mml op="arctan">
<mi> arctan </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\arg"/>
<pat:mml op="arg">
<mi> arg </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\cos"/>
<pat:mml op="cos">
<mi> cos </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\cosh"/>
<pat:mml op="cosh">
<mi> cosh </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\cot"/>
<pat:mml op="cot">
<mi> cot </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\coth"/>
<pat:mml op="coth">
<mi> coth </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\csc"/>
<pat:mml op="csc">
<mi> csc </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\deg"/>
<pat:mml op="deg">
<mi> deg </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\det" params="_\patVAR!{limit}" prec="500"/>
<pat:mml op="">
<munder>
<mi> det </mi>
<pat:variable name="limit"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\det"/>
<pat:mml op="det">
<mi> det </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\dim"/>
<pat:mml op="dim">
<mi> dim </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\exp"/>
<pat:mml op="exp">
<mi> exp </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\gcd" params="_\patVAR!{limit}" prec="500"/>
<pat:mml op="">
<munder>
<mi> gcd </mi>
<pat:variable name="limit"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\gcd"/>
<pat:mml op="gcd">
<mi> gcd </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\hom"/>
<pat:mml op="hom">
<mi> hom </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\inf" params="_\patVAR!{limit}" prec="500"/>
<pat:mml op="">
<munder>
<mi> inf </mi>
<pat:variable name="limit"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\inf"/>
<pat:mml op="inf">
<mi> inf </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ker"/>
<pat:mml op="ker">
<mi> ker </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lg"/>
<pat:mml op="lg">
<mi> lg </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lim" params="_\patVAR!{limit}" prec="500"/>
<pat:mml op="">
<munder>
<mi> lim </mi>
<pat:variable name="limit"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lim"/>
<pat:mml op="lim">
<mi> lim </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\liminf" params="_\patVAR!{limit}" prec="500"/>
<pat:mml op="">
<munder>
<mi> lim inf </mi>
<pat:variable name="limit"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\liminf"/>
<pat:mml op="lim inf">
<mi> lim inf </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\limsup" params="_\patVAR!{limit}" prec="500"/>
<pat:mml op="">
<munder>
<mi> lim sup </mi>
<pat:variable name="limit"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\limsup"/>
<pat:mml op="lim sup">
<mi> lim sum </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ln"/>
<pat:mml op="ln">
<mi> ln </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\log"/>
<pat:mml op="log">
<mi> log </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bmod"/>
<pat:mml op="mod">
<mi> mod </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mod"/>
<pat:mml op="">
<mi lspace="1em"> mod </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\pmod" params="\patVAR!{arg}"/>
<pat:mml op="">
<mspace width="1em"/>
<mfenced separators="">
<mi> mod </mi>
<pat:variable name="arg"/>
</mfenced>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\pod" params="\patVAR!{arg}"/>
<pat:mml op="">
<mspace width="1em"/>
<mfenced separators="">
<pat:variable name="arg"/>
</mfenced>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\max" params="_\patVAR!{limit}" prec="500"/>
<pat:mml op="">
<munder>
<mi> max </mi>
<pat:variable name="limit"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\max"/>
<pat:mml op="max">
<mi> max </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\min" params="_\patVAR!{limit}" prec="500"/>
<pat:mml op="">
<munder>
<mi> min </mi>
<pat:variable name="limit"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\min"/>
<pat:mml op="min">
<mi> min </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Pr" params="_\patVAR!{limit}" prec="500"/>
<pat:mml op="">
<munder>
<mi> Pr </mi>
<pat:variable name="limit"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Pr"/>
<pat:mml op="Pr">
<mi> Pr </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\sec"/>
<pat:mml op="sec">
<mi> sec </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\sin"/>
<pat:mml op="sin">
<mi> sin </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\sinh"/>
<pat:mml op="sinh">
<mi> sin </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\sup" params="_\patVAR!{limit}" prec="500"/>
<pat:mml op="">
<munder>
<mi> sup </mi>
<pat:variable name="limit"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\sup"/>
<pat:mml op="sup">
<mi> sup </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\tan"/>
<pat:mml op="tan">
<mi> tan </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\tanh"/>
<pat:mml op="tanh">
<mi> tanh </mi>
</pat:mml>
</pat:template>
<!-- Under, over, sup & sub - scripts for specitial cases:
sum, proc, lim, inf, max etc. MathML to TeX -->
<pat:template>
<pat:tex op="" params="\lim_\patVAR!{a}" prec="350"/>
<pat:mml op="lim">
<munder>
<mi> lim </mi>
<pat:variable name="a"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="" params="\liminf_\patVAR!{a}" prec="350"/>
<pat:mml op="lim inf">
<munder>
<mi> lim inf </mi>
<pat:variable name="a"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="" params="\limsup_\patVAR!{a}" prec="350"/>
<pat:mml op="lim sup">
<munder>
<mi> lim sup </mi>
<pat:variable name="a"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="" params="\inf_\patVAR!{a}" prec="350"/>
<pat:mml op="inf">
<munder>
<mo> inf </mo>
<pat:variable name="a"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="" params="\sup_\patVAR!{a}" prec="350"/>
<pat:mml op="sup">
<munder>
<mo> sup </mo>
<pat:variable name="a"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="" params="\min_\patVAR!{a}" prec="350"/>
<pat:mml op="min">
<munder>
<mo> min </mo>
<pat:variable name="a"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="" params="\max_\patVAR!{a}" prec="350"/>
<pat:mml op="max">
<munder>
<mo> max </mo>
<pat:variable name="a"/>
</munder>
</pat:mml>
</pat:template>
<!-- Mathematical operators -->
<pat:template>
<pat:tex op="\mathop" params="\patVAR+{a}\limits_\patVAR!{b}^\patVAR!{c}"/>
<pat:mml op="munderover">
<munderover>
<pat:variable name="a"/>
<pat:variable name="b"/>
<pat:variable name="c"/>
</munderover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathop" params="\patVAR+{a}\limits^\patVAR!{c}_\patVAR!{b}"/>
<pat:mml op="munderover">
<munderover>
<pat:variable name="a"/>
<pat:variable name="b"/>
<pat:variable name="c"/>
</munderover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathop" params="\patVAR+{a}\limits_\patVAR!{b}"/>
<pat:mml op="munder">
<munder>
<pat:variable name="a"/>
<pat:variable name="b"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathop" params="\patVAR+{a}\limits^\patVAR!{b}"/>
<pat:mml op="mover">
<mover>
<pat:variable name="a"/>
<pat:variable name="b"/>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathop"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\mathord"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\mathbin"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\mathrel"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\mathopen"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\mathclose"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\mathpunct"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\mathinner"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\stackrel" params="\patVAR!{upper}\patVAR!{lower}"/>
<pat:mml op="">
<mover>
<pat:variable name="lower"/>
<pat:variable name="upper"/>
</mover>
</pat:mml>
</pat:template>
<!-- LaTeX 2e math alphabet commands -->
<pat:template>
<pat:tex op="\mathrm" params="\patVAR!{text}"/>
<pat:mml op="mstyle">
<mstyle mathvariant="normal">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathsf" params="\patVAR!{text}"/>
<pat:mml op="mstyle">
<mstyle mathvariant="sans-serif">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathnormal" params="\patVAR!{text}"/>
<pat:mml op="mstyle">
<mstyle mathvariant="normal">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathtt" params="\patVAR!{text}"/>
<pat:mml op="mstyle">
<mstyle mathvariant="sans-serif">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathit" params="\patVAR!{text}"/>
<pat:mml op="mstyle">
<mstyle mathvariant="italic">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathbf" params="\patVAR!{text}"/>
<pat:mml op="mstyle">
<mstyle mathvariant="bold">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathcal" params="{B}"/>
<pat:mml op="">
<mi> ℬ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathcal" params="{E}"/>
<pat:mml op="">
<mi> ℰ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathcal" params="{F}"/>
<pat:mml op="">
<mi> ℱ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathcal" params="{H}"/>
<pat:mml op="">
<mi> ℋ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathcal" params="{I}"/>
<pat:mml op="">
<mi> ℐ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathcal" params="{L}"/>
<pat:mml op="">
<mi> ℒ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathcal" params="{M}"/>
<pat:mml op="">
<mi> ℳ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathcal" params="{R}"/>
<pat:mml op="">
<mi> ℛ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathcal" params="\patVAR!{text}"/> <!-- Others in plane 1 - not yet widely supported -->
<pat:mml op="mstyle">
<mstyle mathvariant="script">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathscr" params="\patVAR!{text}"/>
<pat:mml op="mstyle">
<mstyle mathvariant="script">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathbb" params="{C}"/>
<pat:mml op="">
<mi> ℂ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathbb" params="{H}"/>
<pat:mml op="">
<mi> ℍ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathbb" params="{N}"/>
<pat:mml op="">
<mi> ℕ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathbb" params="{P}"/>
<pat:mml op="">
<mi> ℙ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathbb" params="{Q}"/>
<pat:mml op="">
<mi> ℚ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathbb" params="{R}"/>
<pat:mml op="">
<mi> ℝ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathbb" params="{Z}"/>
<pat:mml op="">
<mi> ℤ </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathbb" params="\patVAR!{text}"/> <!-- Others in plane 1 - not yet widely supported -->
<pat:mml op="mstyle">
<mstyle mathvariant="double-struck">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bmit" params="\patVAR*{text}"/>
<pat:mml op="mstyle">
<mstyle mathvariant="bold-italic">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<!-- LaTeX 2.09 font declarations -->
<pat:template>
<pat:tex op="\rm" params="\patVAR*{text}"/>
<pat:mml op="mstyle">
<mstyle mathvariant="normal">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bf" params="\patVAR*{text}"/>
<pat:mml op="mstyle">
<mstyle mathvariant="bold">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\tt" params="\patVAR*{text}"/>
<pat:mml op="mstyle">
<mstyle mathvariant="sans-serif">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\it" params="\patVAR*{text}"/>
<pat:mml op="mstyle">
<mstyle mathvariant="italic">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\sl" params="\patVAR*{text}"/>
<pat:mml op="mstyle">
<mstyle mathvariant="italic">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mit" params="\patVAR*{text}"/>
<pat:mml op="mstyle">
<mstyle mathvariant="italic">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\sc" params="\patVAR*{text}"/>
<pat:mml op="">
<pat:variable name="text"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\sf" params="\patVAR*{text}"/>
<pat:mml op="mstyle">
<mstyle mathvariant="sans-serif">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\cal" params="\patVAR*{text}"/>
<pat:mml op="mstyle">
<mstyle mathvariant="script">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<!-- Text font type control commands -->
<pat:template>
<pat:tex op="" params="\textrm \patVAR!{text}"/>
<pat:mml op="mtext">
<mtext><pat:variable name="text"/></mtext>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\textrm" params="{\patVAR*{text}}"/>
<pat:mml op="">
<mstyle mathvariant="normal">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\texttt" params="{\patVAR*{text}}"/>
<pat:mml op="">
<mstyle mathvariant="sans-serif">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\textsf" params="{\patVAR*{text}}"/>
<pat:mml op="">
<mstyle mathvariant="sans-serif">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\textup" params="{\patVAR*{text}}"/>
<pat:mml op="">
<pat:variable name="text"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\textit" params="{\patVAR*{text}}"/>
<pat:mml op="">
<mstyle mathvariant="italic">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\textsl" params="{\patVAR*{text}}"/>
<pat:mml op="">
<mstyle mathvariant="italic">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\textsc" params="{\patVAR*{text}}"/>
<pat:mml op="">
<pat:variable name="text"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\textmd" params="{\patVAR*{text}}"/>
<pat:mml op="">
<pat:variable name="text"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\textbf" params="{\patVAR*{text}}"/>
<pat:mml op="">
<mstyle mathvariant="italic">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\textnormal" params="{\patVAR*{text}}"/>
<pat:mml op="">
<mstyle mathvariant="normal">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\text" params="{\patVAR*{text}}"/>
<pat:mml op="">
<mstyle mathvariant="normal">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\emph" params="{\patVAR*{text}}"/>
<pat:mml op="">
<mstyle mathvariant="italic">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\em" params="\patVAR*{text}"/>
<pat:mml op="">
<mstyle mathvariant="italic">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\upshape" params="\patVAR*{text}"/>
<pat:mml op="">
<mstyle mathvariant="normal">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\itshape" params="\patVAR*{text}"/>
<pat:mml op="">
<mstyle mathvariant="italic">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\slshape" params="\patVAR*{text}"/>
<pat:mml op="">
<mstyle mathvariant="italic">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\scshape" params="\patVAR*{text}"/>
<pat:mml op="">
<mstyle mathvariant="normal">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<!-- Other font type control commands -->
<pat:template>
<pat:tex op="\Bbb" params="C"/>
<pat:mml op="mstyle">
<mo> ℂ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Bbb" params="H"/>
<pat:mml op="mstyle">
<mo> ℍ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Bbb" params="N"/>
<pat:mml op="mstyle">
<mo> ℕ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Bbb" params="P"/>
<pat:mml op="mstyle">
<mo> ℙ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Bbb" params="Q"/>
<pat:mml op="mstyle">
<mo> ℚ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Bbb" params="R"/>
<pat:mml op="mstyle">
<mo> ℝ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Bbb" params="Z"/>
<pat:mml op="mstyle">
<mo> ℤ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Bbb" params="\patVAR!{cap}"/> <!-- Others in plane 1 - not yet widely supported -->
<pat:mml op="mstyle">
<mstyle mathvariant="double-struck">
<pat:variable name="cap"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\roman" params="\patVAR!{text}"/>
<pat:mml op="mstyle">
<mstyle mathvariant="normal">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rom" params="\patVAR!{text}"/>
<pat:mml op="mstyle">
<mstyle mathvariant="normal">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Cal" params="\patVAR!{text}"/>
<pat:mml op="mstyle">
<mstyle mathvariant="script">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bold" params="\patVAR!{symbol}"/>
<pat:mml op="">
<mstyle mathvariant="bold">
<pat:variable name="symbol"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\boldkey" params="\patVAR!{symbol}"/>
<pat:mml op="">
<mstyle mathvariant="bold">
<pat:variable name="symbol"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\boldsymbol" params="\patVAR!{symbol}"/>
<pat:mml op="">
<mstyle mathvariant="bold">
<pat:variable name="symbol"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\pmb" params="\patVAR!{symbol}"/>
<pat:mml op="">
<mstyle mathvariant="bold">
<pat:variable name="symbol"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mathfrak" params="\patVAR!{symbol}"/>
<pat:mml op="">
<mstyle mathvariant="fraktur">
<pat:variable name="symbol"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\intertext" params="{\patVAR*{text}}"/>
<pat:mml op="">
<mspace linebreak="newline"/>
<pat:variable name="text"/>
</pat:mml>
</pat:template>
<!-- Font size control -->
<pat:template>
<pat:tex op="\tiny" params="\patVAR+{text}"/>
<pat:mml op="">
<mstyle scriptlevel="+4">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\scriptsize" params="\patVAR+{text}"/>
<pat:mml op="">
<mstyle scriptlevel="+3">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\footnotesize" params="\patVAR+{text}"/>
<pat:mml op="">
<mstyle scriptlevel="+2">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\small" params="\patVAR+{text}"/>
<pat:mml op="">
<mstyle scriptlevel="+1">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\normalsize" params="\patVAR+{text}"/>
<pat:mml op="">
<mstyle scriptlevel="0">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\large" params="\patVAR+{text}"/>
<pat:mml op="">
<mstyle scriptlevel="-1">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Large" params="\patVAR+{text}"/>
<pat:mml op="">
<mstyle scriptlevel="-2">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\LARGE" params="\patVAR+{text}"/>
<pat:mml op="">
<mstyle scriptlevel="-3">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\huge" params="\patVAR+{text}"/>
<pat:mml op="">
<mstyle scriptlevel="-4">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\HUGE" params="\patVAR+{text}"/>
<pat:mml op="">
<mstyle scriptlevel="-5">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\displaystyle" params="\patVAR*{text}"/>
<pat:mml op="">
<mstyle displaystyle="true" scriptlevel="0">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\textstyle" params="\patVAR*{text}"/>
<pat:mml op="">
<mstyle displaystyle="false" scriptlevel="0">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\scriptstyle" params="\patVAR*{text}"/>
<pat:mml op="">
<mstyle displaystyle="false" scriptlevel="1">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\scriptscriptstyle" params="\patVAR*{text}"/>
<pat:mml op="">
<mstyle displaystyle="false" scriptlevel="2">
<pat:variable name="text"/>
</mstyle>
</pat:mml>
</pat:template>
<!-- Big delimiter modifiers -->
<pat:template>
<pat:tex op="\bigl" params="\patVAR!{a}" prec="350"/>
<pat:mml op="">
<mstyle form="prefix" scriptlevel="-1">
<pat:variable name="a"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bigr" params="\patVAR!{a}" prec="350"/>
<pat:mml op="">
<mstyle form="postfix" scriptlevel="-1">
<pat:variable name="a"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Bigl" params="\patVAR!{a}" prec="350"/>
<pat:mml op="">
<mstyle form="prefix" scriptlevel="-2">
<pat:variable name="a"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Bigr" params="\patVAR!{a}" prec="350"/>
<pat:mml op="">
<mstyle form="postfix" scriptlevel="-2">
<pat:variable name="a"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\biggl" params="\patVAR!{a}" prec="350"/>
<pat:mml op="">
<mstyle form="prefix" scriptlevel="-3">
<pat:variable name="a"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\biggr" params="\patVAR!{a}" prec="350"/>
<pat:mml op="">
<mstyle form="postfix" scriptlevel="-3">
<pat:variable name="a"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Biggl" params="\patVAR!{a}" prec="350"/>
<pat:mml op="">
<mstyle form="prefix" scriptlevel="-4">
<pat:variable name="a"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Biggr" params="\patVAR!{a}" prec="350"/>
<pat:mml op="">
<mstyle form="postfix" scriptlevel="-1">
<pat:variable name="a"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bigm" params="\patVAR!{a}" prec="350"/>
<pat:mml op="">
<mstyle form="infix" scriptlevel="-1">
<pat:variable name="a"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Bigm" params="\patVAR!{a}" prec="350"/>
<pat:mml op="">
<mstyle form="infix" scriptlevel="-2">
<pat:variable name="a"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\biggm" params="\patVAR!{a}" prec="350"/>
<pat:mml op="">
<mstyle form="infix" scriptlevel="-3">
<pat:variable name="a"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Biggm" params="\patVAR!{a}" prec="350"/>
<pat:mml op="">
<mstyle form="infix" scriptlevel="-4">
<pat:variable name="a"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\big" params="\patVAR!{a}" prec="350"/>
<pat:mml op="">
<mstyle scriptlevel="-1">
<pat:variable name="a"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Big" params="\patVAR!{a}" prec="350"/>
<pat:mml op="">
<mstyle scriptlevel="-2">
<pat:variable name="a"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\bigg" params="\patVAR!{a}" prec="350"/>
<pat:mml op="">
<mstyle scriptlevel="-3">
<pat:variable name="a"/>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\Bigg" params="\patVAR!{a}" prec="350"/>
<pat:mml op="">
<mstyle scriptlevel="-4">
<pat:variable name="a"/>
</mstyle>
</pat:mml>
</pat:template>
<!-- Layout related TeX macros -->
<pat:template>
<pat:tex op="\buildrel" params="\patVAR*{cond} \over \patVAR!{base}" prec="777"/>
<pat:mml op="">
<mover>
<pat:variable name="base"/>
<pat:variable name="cond"/>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lefteqn" params="\patVAR!{eqn}"/>
<pat:mml op="">
<pat:variable name="eqn"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\hbox" params="to \patVAR+{size} {\patVAR*{sequence}}"/>
<pat:mml op="">
<mpadded>
<pat:variable name="size" attribute="width"/>
<pat:variable name="sequence"/>
</mpadded>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\hbox" params="spread \patVAR+{size} {\patVAR*{sequence}}"/>
<pat:mml op="">
<mpadded>
<pat:variable name="sequence"/>
</mpadded>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\hbox" params="{\patVAR*{sequence}}"/>
<pat:mml op="">
<mpadded>
<pat:variable name="sequence"/>
</mpadded>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\hspace" params="{\patVAR+{width}}"/>
<pat:mml op="">
<mspace width="1em"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\hspace" params="*{\patVAR+{width}}"/>
<pat:mml op="">
<mspace width="1em"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\vspace" params="{\patVAR+{width}}"/>
<pat:mml op="">
<mspace width="1ex"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\vspace" params="*{\patVAR+{width}}"/>
<pat:mml op="">
<mspace width="1ex"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\strut"/>
<pat:mml op="">
<mspace width="0pt" height="8.5pt" depth="3.5pt"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\phantom" params="{\patVAR+{expr}}"/>
<pat:mml op="mphantom">
<mphantom>
<pat:variable name="expr"/>
</mphantom>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\vphantom" params="{\patVAR+{expr}}"/>
<pat:mml op="mphantom">
<mphantom>
<mpadded width="0">
<pat:variable name="expr"/>
</mpadded>
</mphantom>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\smashed" params="{\patVAR+{expr}}"/>
<pat:mml op="">
<mphantom>
<mpadded height="0" depth="0">
<pat:variable name="expr"/>
</mpadded>
</mphantom>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\llap" params="\patVAR!{expr}"/>
<pat:mml op="">
<mpadded width="-1 width">
<pat:variable name="expr"/>
</mpadded>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rlap" params="\patVAR!{expr}"/>
<pat:mml op="">
<mpadded width="0">
<pat:variable name="expr"/>
</mpadded>
</pat:mml>
</pat:template>
<!-- Spaces / new line characters -->
<pat:template>
<pat:tex op="\enskip"/>
<pat:mml op="">
<mspace width="0.5em"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\enspace"/>
<pat:mml op="">
<mspace width="0.5em"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ "/>
<pat:mml op="">
<mspace width="1em"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="~"/>
<pat:mml op="">
<mspace width="1em" linebreak="nobreak"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\,"/>
<pat:mml op=" ">
<mo>   </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\thinspace"/>
<pat:mml op=" ">
<mo>   </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\:"/>
<pat:mml op="">
<mspace width="0.22222em"/> <!-- 4/18 em -->
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\>"/>
<pat:mml op="">
<mspace width="0.22222em"/> <!-- 4/18 em -->
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\medspace"/>
<pat:mml op="">
<mspace width="0.22222em"/> <!-- 4/18 em -->
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\;"/>
<pat:mml op="">
<mspace width="0.27778em"/> <!-- 5/18 em -->
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\thickspace"/>
<pat:mml op="">
<mspace width="0.27778em"/> <!-- 5/18 em -->
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\!"/>
<pat:mml op="">
<mspace width="-0.16667em"/> <!-- -3/18 em -->
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\negthinspace"/>
<pat:mml op="">
<mspace width="-0.16667em"/> <!-- -3/18 em -->
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\negmedspace"/>
<pat:mml op="">
<mspace width="-0.22222em"/> <!-- -4/18 em -->
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\negthickspace"/>
<pat:mml op="">
<mspace width="-0.27778em"/> <!-- -5/18 em -->
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\quad"/>
<pat:mml op="">
<mspace width="1em"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\qquad"/>
<pat:mml op="">
<mspace width="2em"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\mspace" params="{\patVAR+{space}}"/>
<pat:mml op="">
<mspace width="0.16667em"/> <!-- default -->
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\cr" prec="-1"/>
<pat:mml op="">
<mspace linebreak="newline"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\\" params="[\patVAR+{space}]"/>
<pat:mml op="">
<mspace linebreak="newline"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\\" params="*[\patVAR+{space}]"/>
<pat:mml op="">
<mspace linebreak="newline"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\\" prec="-1"/>
<pat:mml op="\\">
<mspace linebreak="newline"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\linebreak" params="[4]"/>
<pat:mml op="">
<mspace linebreak="newline"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\linebreak" params="[\patVAR!{level}]"/>
<pat:mml op="">
<mspace linebreak="goodbreak"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\linebreak"/>
<pat:mml op="">
<mspace linebreak="newline"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nolinebreak" params="[4]"/>
<pat:mml op="">
<mspace linebreak="nobreak"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nolinebreak" params="[\patVAR!{level}]"/>
<pat:mml op="">
<mspace linebreak="badbreak"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nolinebreak"/>
<pat:mml op="">
<mspace linebreak="nobreak"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\allowbreak"/>
<pat:mml op="">
<mspace linebreak="goodbreak"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\nobreak"/>
<pat:mml op="">
<mspace linebreak="nobreak"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\break"/>
<pat:mml op="">
<mspace linebreak="newline"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\newpage"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\displaybreak" params="[\patVAR*{level}]"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\displaybreak"/>
<pat:mml op=""/>
</pat:template>
<!-- Pseudo macros (for infix operators) - DO NOT RENAME/REMOVE! -->
<pat:template>
<pat:tex op="\patPSEUDO" params="\patVAR+{num}\over\patVAR+{den}" prec="666"/>
<pat:mml op="mfrac">
<mfrac>
<pat:variable name="num"/>
<pat:variable name="den"/>
</mfrac>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\patPSEUDO" params="\patVAR+{num}\choose\patVAR+{den}" prec="666"/>
<pat:mml op="mfrac">
<mfrac linethickness="0">
<pat:variable name="num"/>
<pat:variable name="den"/>
</mfrac>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\patPSEUDO" params="\patVAR+{num}\atop\patVAR+{den}" prec="666"/>
<pat:mml op="mfrac">
<mfrac linethickness="0">
<pat:variable name="num"/>
<pat:variable name="den"/>
</mfrac>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\patPSEUDO" params="\patVAR!{base}_\patVAR!{sub}^\patVAR!{sup}" prec="333"/>
<pat:mml op="msubsup">
<msubsup>
<pat:variable name="base"/>
<pat:variable name="sub"/>
<pat:variable name="sup"/>
</msubsup>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\patPSEUDO" params="\patVAR!{base}^\patVAR!{sup}_\patVAR!{sub}" prec="333"/>
<pat:mml op="msupsub">
<msubsup>
<pat:variable name="base"/>
<pat:variable name="sub"/>
<pat:variable name="sup"/>
</msubsup>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\patPSEUDO" params="\patVAR!{base}_\patVAR!{sub}" prec="330"/>
<pat:mml op="msub">
<msub>
<pat:variable name="base"/>
<pat:variable name="sub"/>
</msub>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\patPSEUDO" params="\patVAR!{base}^\patVAR!{sup}" prec="330"/>
<pat:mml op="msup">
<msup>
<pat:variable name="base"/>
<pat:variable name="sup"/>
</msup>
</pat:mml>
</pat:template>
<!-- The following four are variations without base explicitly given -->
<pat:template>
<pat:tex op="_" params="\patVAR!{sub}^\patVAR!{sup}" prec="333"/>
<pat:mml op="msubsup">
<msubsup>
<mrow/>
<pat:variable name="sub"/>
<pat:variable name="sup"/>
</msubsup>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="^" params="\patVAR!{sup}_\patVAR!{sub}" prec="333"/>
<pat:mml op="msupsub">
<msubsup>
<mrow/>
<pat:variable name="sub"/>
<pat:variable name="sup"/>
</msubsup>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="_" params="\patVAR!{sub}" prec="330"/>
<pat:mml op="msub">
<msub>
<mrow/>
<pat:variable name="sub"/>
</msub>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="^" params="\patVAR!{sup}" prec="330"/>
<pat:mml op="msup">
<msup>
<mrow/>
<pat:variable name="sup"/>
</msup>
</pat:mml>
</pat:template>
<!-- \def handling - DO NOT RENAME/REMOVE! -->
<pat:template>
<pat:tex op="\def" params="\patVAR!{name}\patVAR!{def}"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\newcommand" params="\patVAR!{name}\patVAR!{def}"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\renewcommand" params="\patVAR!{name}\patVAR!{def}"/>
<pat:mml op=""/>
</pat:template>
<!-- Math/Text mode switchers -->
<!--pat:template>
<pat:tex op="\mbox" params="{$\patVAR*{math}$}"/>
<pat:mml op="">
<pat:variable name="math"/>
</pat:mml>
</pat:template-->
<pat:template>
<pat:tex op="\mbox" params="{\patVAR*{text}}"/>
<pat:mml op="">
<pat:variable name="text"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\fbox" params="{\patVAR*{text}}"/>
<pat:mml op="">
<mo> <pat:variable name="text"/> </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ensuremath" params="{\patVAR*{math}}"/>
<pat:mml op="">
<pat:variable name="math"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="$" params="\patVAR+{math} $"/>
<pat:mml op="">
<pat:variable name="math"/>
</pat:mml>
</pat:template>
<!-- Other miscellaneuos TeX macros -->
<pat:template>
<pat:tex op="\label" params="\patVAR!{~label}"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\cite" params="\patVAR!{key}"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\nonumber"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\limits"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\nolimits"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\hline"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\vline"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\relax"/>
<pat:mml op=""/>
</pat:template>
<!-- Other other stuff (used by MathML to TeX only) -->
<pat:template>
<pat:tex op=""/>
<pat:mml op="⁢">
<mo> ⁢ </mo> <!-- invisible times -->
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op=""/>
<pat:mml op="⁡">
<mo> ⁡ </mo> <!-- apply function -->
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op=""/>
<pat:mml op="​">
<mo> ​ </mo> <!-- invisible comma -->
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="" params="{\patVAR+{text}}"/>
<pat:mml op="mo">
<mo> <pat:variable name="text"/> </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="" params="\hbox{\patVAR{a}}"/>
<pat:mml op="mspace">
<mspace width="pat:variable =a"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="" params="\patREP*{\patVAR!{a}}"/>
<pat:mml op="mrow">
<mrow>
<pat:rep> <pat:variable name="a"/> </pat:rep>
</mrow>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="" params="\patVAR!{a}"/>
<pat:mml op="mi">
<mi> <pat:variable name="a"/> </mi>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="" params="\patVAR!{a}"/>
<pat:mml op="mn">
<mn> <pat:variable name="a"/> </mn>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="" params="\patREP*{\patVAR!{a}}"/>
<pat:mml op="math">
<math>
<pat:rep> <pat:variable name="a"/> </pat:rep>
</math>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="" params=""/>
<pat:mml op="none">
<none/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="" params="\patREP*{\patVAR{a}}"/>
<pat:mml op="mstyle">
<mstyle>
<pat:rep> <pat:variable name="a"/> </pat:rep>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="" params="\patREP*{\patVAR{a}}"/>
<pat:mml op="merror">
<merror>
<pat:rep> <pat:variable name="a"/> </pat:rep>
</merror>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="" params="\patREP*{\patVAR{a}}"/>
<pat:mml op="menclose">
<menclose>
<pat:rep> <pat:variable name="a"/> </pat:rep>
</menclose>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="" params="\patREP*{\patVAR{a}}"/>
<pat:mml op="mpadded">
<mpadded>
<pat:rep> <pat:variable name="a"/> </pat:rep>
</mpadded>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="" params=""/>
<pat:mml op="~none">
<pat:empty/>
</pat:mml>
</pat:template>
<!-- ========================= NEW STUFF ============================ -->
<pat:template>
<pat:tex op="\*"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\-"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\patPSEUDO" params="\patVAR*{num} \overwithdelims \patVAR!{delim1} \patVAR!{delim2} \patVAR*{den}" prec="666"/>
<pat:mml op="">
<pat:variable name="delim1"/>
<mfrac>
<pat:variable name="num"/>
<pat:variable name="den"/>
</mfrac>
<pat:variable name="delim2"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\patPSEUDO" params="\patVAR*{num} \atopwithdelims \patVAR!{delim1} \patVAR!{delim2} \patVAR*{den}" prec="666"/>
<pat:mml op="">
<pat:variable name="delim1"/>
<mfrac linethickness="0">
<pat:variable name="num"/>
<pat:variable name="den"/>
</mfrac>
<pat:variable name="delim2"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\patPSEUDO" params="\patVAR*{num} \brack \patVAR*{den}" prec="666"/>
<pat:mml op="">
<mfenced open="[" close="]" separators="">
<mfrac linethickness="0">
<pat:variable name="num"/>
<pat:variable name="den"/>
</mfrac>
</mfenced>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\patPSEUDO" params="\patVAR*{num} \brace \patVAR*{den}" prec="666"/>
<pat:mml op="">
<mfenced open="{" close="}" separators="">
<mfrac linethickness="0">
<pat:variable name="num"/>
<pat:variable name="den"/>
</mfrac>
</mfenced>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\implies"/>
<pat:mml op="⇒">
<mo> ⇒ </mo> <!-- Should be 27F9 -->
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{picture} \patVAR*{whatever} \end{picture}"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\setlength" params="{\patVAR*{cmd}}{\patVAR*{spec}}"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\if" params="\patVAR*{stuff}\fi"/>
<pat:mml op="">
<pat:variable name="stuff"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ifx" params="\patVAR!{token1}\patVAR!{token2}\patVAR*{stuff}\fi"/>
<pat:mml op="">
<pat:variable name="stuff"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\fontencoding" params="{\patVAR*{whatever}}"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\fontfamily" params="{\patVAR*{whatever}}"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\fontseries" params="{\patVAR*{whatever}}"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\fontshape" params="{\patVAR*{whatever}}"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\fontsize" params="{\patVAR*{size}}{\patVAR*{lspacing}}"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\selectfont"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\begin" params="{minipage} {\patVAR*{width}} \patVAR*{text} \end{minipage}"/>
<pat:mml op="">
<pat:variable name="text"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\noindent"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\substack" params="{\patREP*{\patVAR+{line}\\}\patVAR*{last}}"/>
<pat:mml op="">
<mtable>
<pat:rep>
<mtr> <pat:variable name="line"/> </mtr>
</pat:rep>
<mtr> <pat:variable name="last"/> </mtr>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\binom" params="{\patVAR*{top}}{\patVAR*{bot}}"/>
<pat:mml op="">
<mfenced separators="">
<mfrac linethickness="0">
<pat:variable name="top"/>
<pat:variable name="bot"/>
</mfrac>
</mfenced>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\dbinom" params="{\patVAR*{top}}{\patVAR*{bot}}"/>
<pat:mml op="">
<mstyle displaystyle="true">
<mfenced separators="">
<mfrac linethickness="0">
<pat:variable name="top"/>
<pat:variable name="bot"/>
</mfrac>
</mfenced>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\tbinom" params="{\patVAR*{top}}{\patVAR*{bot}}"/>
<pat:mml op="">
<mstyle displaystyle="false" scriptlevel="0">
<mfenced separators="">
<mfrac linethickness="0">
<pat:variable name="top"/>
<pat:variable name="bot"/>
</mfrac>
</mfenced>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\notag"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\protect"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\rule" params="[\patVAR*{lift}]{\patVAR*{w}}{\patVAR*{h}}"/>
<pat:mml op="">
<mstyle color="black">
<mspace>
<pat:variable name="w" attribute="width"/>
<pat:variable name="h" attribute="height"/>
<pat:variable name="lift" attribute="depth"/>
</mspace>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rule" params="{\patVAR*{w}}{\patVAR*{h}}"/>
<pat:mml op="">
<mstyle color="black">
<mspace>
<pat:variable name="w" attribute="width"/>
<pat:variable name="h" attribute="height"/>
</mspace>
</mstyle>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\shorthandoff" params="{\patVAR*{arg}}"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\shorthandon" params="{\patVAR*{arg}}"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\xymatrix" params="{\patREP+{\patVAR*{firstCol}\patREP*{&\patVAR*{rest}}\\}}"/>
<pat:mml op="mtable">
<mtable>
<pat:rep>
<mtr>
<mtd> <pat:variable name="firstCol"/> </mtd>
<pat:rep>
<mtd> <pat:variable name="rest"/> </mtd>
</pat:rep>
</mtr>
</pat:rep>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ar" params="@\patVAR!{style}[\patVAR*{dir}]"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\ar" params="[\patVAR*{dir}]"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\injlim"/>
<pat:mml op="">
<mo> inj lim </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\projlim"/>
<pat:mml op="">
<mo> proj lim </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\varlimsup"/>
<pat:mml op="">
<mover>
<mo> lim </mo>
<mo stretchy="true"> ¯ </mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\varliminf"/>
<pat:mml op="">
<munder>
<mo> lim </mo>
<mo stretchy="true"> ¯ </mo>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\varinjlim"/>
<pat:mml op="">
<mover>
<mo> lim </mo>
<mo stretchy="true"> → </mo>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\varprojlim"/>
<pat:mml op="">
<munder>
<mo> lim </mo>
<mo stretchy="true"> ← </mo>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\operatorname" params="{\patVAR*{op}}"/>
<pat:mml op="">
<pat:variable name="op"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\operatorname" params="*{\patVAR*{op}}"/>
<pat:mml op="">
<pat:variable name="op"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\shoveleft" params="{\patVAR*{formula}}"/>
<pat:mml op="">
<pat:variable name="formula"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\shoveright" params="{\patVAR*{formula}}"/>
<pat:mml op="">
<pat:variable name="formula"/>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\ref"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\eqref"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\leftroot" params="\patVAR!{shift}"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\uproot" params="\patVAR!{shift}"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\nobreakdash"/>
<pat:mml op="">
<mo> ‑ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\boxed" params="\patVAR!{formula}"/>
<pat:mml op="">
<mtable frame="solid">
<mtr>
<mtd>
<pat:variable name="formula"/>
</mtd>
</mtr>
</mtable>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\overset" params="\patVAR!{over}\patVAR!{base}"/>
<pat:mml op="">
<mover>
<pat:variable name="base"/>
<pat:variable name="over"/>
</mover>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\underset" params="\patVAR!{under}\patVAR!{base}"/>
<pat:mml op="">
<munder>
<pat:variable name="base"/>
<pat:variable name="under"/>
</munder>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lvert"/>
<pat:mml op="">
<mo form="prefix"> | </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rvert"/>
<pat:mml op="">
<mo form="postfix"> | </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\lVert"/>
<pat:mml op="">
<mo form="prefix"> ‖ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\rVert"/>
<pat:mml op="">
<mo form="postfix"> ‖ </mo>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\abs" params="\patVAR!{formula}"/>
<pat:mml op="">
<mfenced open="|" close="|" separators="">
<pat:variable name="formula"/>
</mfenced>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\norm" params="\patVAR!{formula}"/>
<pat:mml op="">
<mfenced open="‖" close="‖" separators="">
<pat:variable name="formula"/>
</mfenced>
</pat:mml>
</pat:template>
<pat:template>
<pat:tex op="\DeclareMathOperator" params="\patVAR!{name}\patVAR!{def}"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\DeclareMathOperator" params="*\patVAR!{name}\patVAR!{def}"/>
<pat:mml op=""/>
</pat:template>
<pat:template>
<pat:tex op="\sideset" params="{\patVAR*{sub}}{\patVAR*{sup}}\patVAR!{symbol}"/>
<pat:mml op="">
<msubsup>
<pat:variable name="symbol"/>
<pat:variable name="sub"/>
<pat:variable name="sup"/>
</msubsup>
</pat:mml>
</pat:template>
</pat:tex2mmlmap>