LaTeXML
view release on metacpan or search on metacpan
t/ams/mathtools.xml view on Meta::CPAN
<XMTok font="italic" fontsize="70%" role="UNKNOWN">j</XMTok>
</XMApp>
</XMApp>
</XMApp>
</XMApp>
</XMath>
</Math>
</equation>
</para>
</paragraph>
<paragraph inlist="toc" xml:id="S1.SS0.SSS0.Px2">
<title>Cramped</title>
<para xml:id="S1.SS0.SSS0.Px2.p1">
<equation xml:id="S1.Ex5">
<Math mode="display" tex="\cramped{x^{2}}\leftrightarrow x^{2}\quad\cramped[\scriptstyle]{x^{2}}% \leftrightarrow{\scriptstyle x^{2}}" text="x ^ 2 leftrightarrow list@(x ^ 2, x ^ 2) leftrightarrow x ^ 2" xml:id="S1.Ex5.m1">
<XMath>
<XMApp>
<XMTok meaning="multirelation"/>
<XMApp>
<XMTok role="SUPERSCRIPTOP" scriptpos="post1"/>
<XMTok font="italic" role="UNKNOWN">x</XMTok>
<XMTok fontsize="70%" meaning="2" role="NUMBER">2</XMTok>
</XMApp>
<XMTok name="leftrightarrow" role="METARELOP">↔</XMTok>
<XMDual>
<XMApp>
<XMTok meaning="list"/>
<XMRef idref="S1.Ex5.m1.1"/>
<XMRef idref="S1.Ex5.m1.2"/>
</XMApp>
<XMWrap>
<XMApp xml:id="S1.Ex5.m1.1">
<XMTok role="SUPERSCRIPTOP" scriptpos="post1"/>
<XMTok font="italic" role="UNKNOWN">x</XMTok>
<XMTok fontsize="70%" meaning="2" role="NUMBER">2</XMTok>
</XMApp>
<XMHint name="quad" role="PUNCT" width="10pt"/>
<XMApp xml:id="S1.Ex5.m1.2">
<XMTok role="SUPERSCRIPTOP" scriptpos="post1"/>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">x</XMTok>
<XMTok fontsize="50%" meaning="2" role="NUMBER">2</XMTok>
</XMApp>
</XMWrap>
</XMDual>
<XMTok fontsize="70%" name="leftrightarrow" role="METARELOP">↔</XMTok>
<XMApp>
<XMTok role="SUPERSCRIPTOP" scriptpos="post2"/>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">x</XMTok>
<XMTok fontsize="50%" meaning="2" role="NUMBER">2</XMTok>
</XMApp>
</XMApp>
</XMath>
</Math>
</equation>
</para>
</paragraph>
<paragraph inlist="toc" xml:id="S1.SS0.SSS0.Px3">
<title>Smashoperator</title>
<para xml:id="S1.SS0.SSS0.Px3.p1">
<equation xml:id="S1.Ex6">
<Math mode="display" tex="V=\sum_{1\leq i\leq j\leq n}^{\infty}V_{ij}\quad X=\sum_{1\leq i\leq j\leq n}^% {3456}X_{ij}\quad Y=\sum\limits_{1\leq i\leq j\leq n}Y_{ij}\quad Z=\mathop{T}_% {1\leq i\leq j\leq n}Z_{ij}" text="formulae@(V...
<XMath>
<XMDual>
<XMApp>
<XMTok meaning="formulae"/>
<XMRef idref="S1.Ex6.m1.1"/>
<XMRef idref="S1.Ex6.m1.2"/>
</XMApp>
<XMWrap>
<XMApp xml:id="S1.Ex6.m1.1">
<XMTok meaning="equals" role="RELOP">=</XMTok>
<XMTok font="italic" role="UNKNOWN">V</XMTok>
<XMApp>
<XMApp>
<XMTok role="SUPERSCRIPTOP" scriptpos="mid1"/>
<XMApp>
<XMTok role="SUBSCRIPTOP" scriptpos="mid1"/>
<XMTok mathstyle="display" meaning="sum" role="SUMOP" scriptpos="mid">∑</XMTok>
<XMApp>
<XMTok meaning="multirelation"/>
<XMTok fontsize="70%" meaning="1" role="NUMBER">1</XMTok>
<XMTok fontsize="70%" meaning="less-than-or-equals" name="leq" role="RELOP">≤</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">i</XMTok>
<XMTok fontsize="70%" meaning="less-than-or-equals" name="leq" role="RELOP">≤</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">j</XMTok>
<XMTok fontsize="70%" meaning="less-than-or-equals" name="leq" role="RELOP">≤</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">n</XMTok>
</XMApp>
</XMApp>
<XMTok fontsize="70%" meaning="infinity" name="infty" role="ID">∞</XMTok>
</XMApp>
<XMApp>
<XMTok role="SUBSCRIPTOP" scriptpos="post1"/>
<XMTok font="italic" role="UNKNOWN">V</XMTok>
<XMApp>
<XMTok meaning="times" role="MULOP">â¢</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">i</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">j</XMTok>
</XMApp>
</XMApp>
</XMApp>
</XMApp>
<XMHint name="quad" role="PUNCT" width="10pt"/>
<XMDual xml:id="S1.Ex6.m1.2">
<XMApp>
<XMTok meaning="formulae"/>
<XMRef idref="S1.Ex6.m1.2.1"/>
<XMRef idref="S1.Ex6.m1.2.2"/>
</XMApp>
<XMWrap>
<XMApp xml:id="S1.Ex6.m1.2.1">
<XMTok meaning="equals" role="RELOP">=</XMTok>
<XMTok font="italic" role="UNKNOWN">X</XMTok>
<XMApp>
<XMApp>
<XMTok role="SUPERSCRIPTOP" scriptpos="mid1"/>
<XMApp>
<XMTok role="SUBSCRIPTOP" scriptpos="mid1"/>
<XMTok mathstyle="display" meaning="sum" role="SUMOP" scriptpos="mid">∑</XMTok>
<XMApp>
<XMTok meaning="multirelation"/>
<XMTok fontsize="70%" meaning="1" role="NUMBER">1</XMTok>
<XMTok fontsize="70%" meaning="less-than-or-equals" name="leq" role="RELOP">≤</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">i</XMTok>
<XMTok fontsize="70%" meaning="less-than-or-equals" name="leq" role="RELOP">≤</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">j</XMTok>
<XMTok fontsize="70%" meaning="less-than-or-equals" name="leq" role="RELOP">≤</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">n</XMTok>
</XMApp>
</XMApp>
<XMTok fontsize="70%" meaning="3456" role="NUMBER">3456</XMTok>
</XMApp>
<XMApp>
<XMTok role="SUBSCRIPTOP" scriptpos="post1"/>
<XMTok font="italic" role="UNKNOWN">X</XMTok>
<XMApp>
<XMTok meaning="times" role="MULOP">â¢</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">i</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">j</XMTok>
</XMApp>
</XMApp>
</XMApp>
</XMApp>
<XMHint name="quad" role="PUNCT" width="10pt"/>
<XMDual xml:id="S1.Ex6.m1.2.2">
<XMApp>
<XMTok meaning="formulae"/>
<XMRef idref="S1.Ex6.m1.2.2.1"/>
<XMRef idref="S1.Ex6.m1.2.2.2"/>
</XMApp>
<XMWrap>
<XMApp xml:id="S1.Ex6.m1.2.2.1">
<XMTok meaning="equals" role="RELOP">=</XMTok>
<XMTok font="italic" role="UNKNOWN">Y</XMTok>
<XMApp>
<XMApp>
<XMTok role="SUBSCRIPTOP" scriptpos="mid1"/>
<XMTok mathstyle="display" meaning="sum" role="SUMOP" scriptpos="mid1">∑</XMTok>
<XMApp>
<XMTok meaning="multirelation"/>
<XMTok fontsize="70%" meaning="1" role="NUMBER">1</XMTok>
<XMTok fontsize="70%" meaning="less-than-or-equals" name="leq" role="RELOP">≤</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">i</XMTok>
<XMTok fontsize="70%" meaning="less-than-or-equals" name="leq" role="RELOP">≤</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">j</XMTok>
<XMTok fontsize="70%" meaning="less-than-or-equals" name="leq" role="RELOP">≤</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">n</XMTok>
</XMApp>
</XMApp>
<XMApp>
<XMTok role="SUBSCRIPTOP" scriptpos="post1"/>
<XMTok font="italic" role="UNKNOWN">Y</XMTok>
<XMApp>
<XMTok meaning="times" role="MULOP">â¢</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">i</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">j</XMTok>
</XMApp>
</XMApp>
</XMApp>
</XMApp>
<XMHint name="quad" role="PUNCT" width="10pt"/>
<XMApp xml:id="S1.Ex6.m1.2.2.2">
<XMTok meaning="equals" role="RELOP">=</XMTok>
<XMTok font="italic" role="UNKNOWN">Z</XMTok>
<XMApp>
<XMApp>
<XMTok role="SUBSCRIPTOP" scriptpos="mid1"/>
<XMTok font="italic" role="BIGOP" scriptpos="mid">T</XMTok>
<XMApp>
<XMTok meaning="multirelation"/>
<XMTok fontsize="70%" meaning="1" role="NUMBER">1</XMTok>
<XMTok fontsize="70%" meaning="less-than-or-equals" name="leq" role="RELOP">≤</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">i</XMTok>
<XMTok fontsize="70%" meaning="less-than-or-equals" name="leq" role="RELOP">≤</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">j</XMTok>
<XMTok fontsize="70%" meaning="less-than-or-equals" name="leq" role="RELOP">≤</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">n</XMTok>
</XMApp>
</XMApp>
<XMApp>
<XMTok role="SUBSCRIPTOP" scriptpos="post1"/>
<XMTok font="italic" role="UNKNOWN">Z</XMTok>
<XMApp>
<XMTok meaning="times" role="MULOP">â¢</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">i</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">j</XMTok>
</XMApp>
</XMApp>
</XMApp>
</XMApp>
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
</para>
<para xml:id="S1.SS0.SSS0.Px3.p2">
<equation xml:id="S1.Ex7">
<Math mode="display" tex="V=\sum_{1\leq i\leq j\leq n}^{\infty}V_{ij}\quad X=\smashoperator[]{\sum_{1% \leq i\leq j\leq n}^{3456}}X_{ij}\quad Y=\smashoperator[r]{\sum_{1\leq i\leq j% \leq n}^{}}Y_{ij}\quad Z=\smashoperator[l]{\matho...
<XMath>
<XMDual>
<XMApp>
<XMTok meaning="formulae"/>
<XMRef idref="S1.Ex7.m1.1"/>
<XMRef idref="S1.Ex7.m1.2"/>
</XMApp>
<XMWrap>
<XMApp xml:id="S1.Ex7.m1.1">
<XMTok meaning="equals" role="RELOP">=</XMTok>
<XMTok font="italic" role="UNKNOWN">V</XMTok>
<XMApp>
<XMApp>
<XMTok role="SUPERSCRIPTOP" scriptpos="mid1"/>
<XMApp>
<XMTok role="SUBSCRIPTOP" scriptpos="mid1"/>
<XMTok mathstyle="display" meaning="sum" role="SUMOP" scriptpos="mid">∑</XMTok>
<XMApp>
<XMTok meaning="multirelation"/>
<XMTok fontsize="70%" meaning="1" role="NUMBER">1</XMTok>
<XMTok fontsize="70%" meaning="less-than-or-equals" name="leq" role="RELOP">≤</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">i</XMTok>
<XMTok fontsize="70%" meaning="less-than-or-equals" name="leq" role="RELOP">≤</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">j</XMTok>
<XMTok fontsize="70%" meaning="less-than-or-equals" name="leq" role="RELOP">≤</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">n</XMTok>
</XMApp>
</XMApp>
<XMTok fontsize="70%" meaning="infinity" name="infty" role="ID">∞</XMTok>
</XMApp>
<XMApp>
<XMTok role="SUBSCRIPTOP" scriptpos="post1"/>
<XMTok font="italic" role="UNKNOWN">V</XMTok>
<XMApp>
<XMTok meaning="times" role="MULOP">â¢</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">i</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">j</XMTok>
</XMApp>
</XMApp>
</XMApp>
</XMApp>
<XMHint name="quad" role="PUNCT" width="10pt"/>
<XMDual xml:id="S1.Ex7.m1.2">
<XMApp>
<XMTok meaning="formulae"/>
<XMRef idref="S1.Ex7.m1.2.1"/>
<XMRef idref="S1.Ex7.m1.2.2"/>
</XMApp>
<XMWrap>
<XMApp xml:id="S1.Ex7.m1.2.1">
<XMTok meaning="equals" role="RELOP">=</XMTok>
<XMTok font="italic" role="UNKNOWN">X</XMTok>
<XMApp>
<XMApp role="SUMOP" scriptpos="mid">
<XMTok role="SUBSCRIPTOP" scriptpos="mid1"/>
<XMApp scriptpos="mid">
<XMTok role="SUPERSCRIPTOP" scriptpos="mid1"/>
<XMTok mathstyle="display" meaning="sum" role="SUMOP" scriptpos="mid">∑</XMTok>
<XMTok fontsize="70%" meaning="3456" role="NUMBER" width="0.0pt" xoffset="-7.0pt">3456</XMTok>
</XMApp>
<XMApp width="0.0pt" xoffset="-14.9pt">
<XMTok meaning="multirelation"/>
<XMTok fontsize="70%" meaning="1" role="NUMBER">1</XMTok>
<XMTok fontsize="70%" meaning="less-than-or-equals" name="leq" role="RELOP">≤</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">i</XMTok>
<XMTok fontsize="70%" meaning="less-than-or-equals" name="leq" role="RELOP">≤</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">j</XMTok>
<XMTok fontsize="70%" meaning="less-than-or-equals" name="leq" role="RELOP">≤</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">n</XMTok>
</XMApp>
</XMApp>
<XMApp>
<XMTok role="SUBSCRIPTOP" scriptpos="post1"/>
<XMTok font="italic" role="UNKNOWN">X</XMTok>
<XMApp>
<XMTok meaning="times" role="MULOP">â¢</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">i</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">j</XMTok>
</XMApp>
</XMApp>
</XMApp>
</XMApp>
<XMHint name="quad" role="PUNCT" width="10pt"/>
<XMDual xml:id="S1.Ex7.m1.2.2">
<XMApp>
<XMTok meaning="formulae"/>
<XMRef idref="S1.Ex7.m1.2.2.1"/>
<XMRef idref="S1.Ex7.m1.2.2.2"/>
</XMApp>
<XMWrap>
<XMApp xml:id="S1.Ex7.m1.2.2.1">
<XMTok meaning="equals" role="RELOP">=</XMTok>
<XMTok font="italic" role="UNKNOWN">Y</XMTok>
<XMApp>
<XMApp lpadding="9.6pt" role="SUMOP" scriptpos="mid">
<XMTok role="SUBSCRIPTOP" scriptpos="mid1"/>
<XMTok mathstyle="display" meaning="sum" role="SUMOP" scriptpos="mid">∑</XMTok>
<XMApp width="0.0pt" xoffset="-14.9pt">
<XMTok meaning="multirelation"/>
<XMTok fontsize="70%" meaning="1" role="NUMBER">1</XMTok>
<XMTok fontsize="70%" meaning="less-than-or-equals" name="leq" role="RELOP">≤</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">i</XMTok>
<XMTok fontsize="70%" meaning="less-than-or-equals" name="leq" role="RELOP">≤</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">j</XMTok>
<XMTok fontsize="70%" meaning="less-than-or-equals" name="leq" role="RELOP">≤</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">n</XMTok>
</XMApp>
</XMApp>
<XMApp>
<XMTok role="SUBSCRIPTOP" scriptpos="post1"/>
<XMTok font="italic" role="UNKNOWN">Y</XMTok>
<XMApp>
<XMTok meaning="times" role="MULOP">â¢</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">i</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">j</XMTok>
</XMApp>
</XMApp>
</XMApp>
</XMApp>
<XMHint name="quad" role="PUNCT" width="10pt"/>
<XMApp xml:id="S1.Ex7.m1.2.2.2">
<XMTok meaning="equals" role="RELOP">=</XMTok>
<XMTok font="italic" role="UNKNOWN">Z</XMTok>
<XMApp>
<XMApp role="SUMOP" rpadding="11.2pt" scriptpos="mid">
<XMTok role="SUBSCRIPTOP" scriptpos="mid1"/>
<XMTok font="italic" role="BIGOP" scriptpos="mid">T</XMTok>
<XMApp width="0.0pt" xoffset="-14.9pt">
<XMTok meaning="multirelation"/>
<XMTok fontsize="70%" meaning="1" role="NUMBER">1</XMTok>
<XMTok fontsize="70%" meaning="less-than-or-equals" name="leq" role="RELOP">≤</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">i</XMTok>
<XMTok fontsize="70%" meaning="less-than-or-equals" name="leq" role="RELOP">≤</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">j</XMTok>
<XMTok fontsize="70%" meaning="less-than-or-equals" name="leq" role="RELOP">≤</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">n</XMTok>
</XMApp>
</XMApp>
<XMApp>
<XMTok role="SUBSCRIPTOP" scriptpos="post1"/>
<XMTok font="italic" role="UNKNOWN">Z</XMTok>
<XMApp>
<XMTok meaning="times" role="MULOP">â¢</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">i</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">j</XMTok>
</XMApp>
t/ams/mathtools.xml view on Meta::CPAN
</XMApp>
<XMApp>
<XMTok meaning="cosine" role="TRIGFUNCTION">cos</XMTok>
<XMTok font="italic" role="UNKNOWN">z</XMTok>
</XMApp>
</XMApp>
</XMApp>
<XMTok role="CLOSE" stretchy="false">]</XMTok>
</XMWrap>
</XMDual>
<XMTok name="cdots" role="ID">⋯</XMTok>
<XMDual>
<XMRef idref="S7.Ex56.m1.3"/>
<XMWrap>
<XMTok name="lparen" role="OPEN" stretchy="false">(</XMTok>
<XMApp xml:id="S7.Ex56.m1.3">
<XMTok mathstyle="display" meaning="divide" role="FRACOP"/>
<XMApp>
<XMTok mathstyle="text" meaning="divide" role="FRACOP"/>
<XMApp>
<XMTok meaning="times" role="MULOP">â¢</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">f</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">o</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">o</XMTok>
</XMApp>
<XMApp>
<XMTok meaning="times" role="MULOP">â¢</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">b</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">a</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">r</XMTok>
</XMApp>
</XMApp>
<XMApp>
<XMTok mathstyle="text" meaning="divide" role="FRACOP"/>
<XMApp>
<XMTok meaning="times" role="MULOP">â¢</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">b</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">a</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">z</XMTok>
</XMApp>
<XMApp>
<XMTok meaning="times" role="MULOP">â¢</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">q</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">u</XMTok>
<XMTok font="italic" fontsize="70%" role="UNKNOWN">x</XMTok>
</XMApp>
</XMApp>
</XMApp>
<XMTok name="rparen" role="CLOSE" stretchy="false">)</XMTok>
</XMWrap>
</XMDual>
</XMApp>
</XMath>
</Math>
</equation>
</para>
<paragraph inlist="toc" xml:id="S7.SS0.SSS0.Px1">
<title>Operators</title>
<para xml:id="S7.SS0.SSS0.Px1.p1">
<equation xml:id="S7.Ex57">
<Math mode="display" tex="a:=b\quad a\vcentcolon=b\quad a\ordinarycolon=b" text="formulae@(a assign b, formulae@(a assign b, a assign b))" xml:id="S7.Ex57.m1">
<XMath>
<XMDual>
<XMApp>
<XMTok meaning="formulae"/>
<XMRef idref="S7.Ex57.m1.1"/>
<XMRef idref="S7.Ex57.m1.2"/>
</XMApp>
<XMWrap>
<XMApp xml:id="S7.Ex57.m1.1">
<XMTok meaning="assign" role="RELOP">:=</XMTok>
<XMTok font="italic" role="UNKNOWN">a</XMTok>
<XMTok font="italic" role="UNKNOWN">b</XMTok>
</XMApp>
<XMHint name="quad" role="PUNCT" width="10pt"/>
<XMDual xml:id="S7.Ex57.m1.2">
<XMApp>
<XMTok meaning="formulae"/>
<XMRef idref="S7.Ex57.m1.2.1"/>
<XMRef idref="S7.Ex57.m1.2.2"/>
</XMApp>
<XMWrap>
<XMApp xml:id="S7.Ex57.m1.2.1">
<XMTok meaning="assign" role="RELOP">:=</XMTok>
<XMTok font="italic" role="UNKNOWN">a</XMTok>
<XMTok font="italic" role="UNKNOWN">b</XMTok>
</XMApp>
<XMHint name="quad" role="PUNCT" width="10pt"/>
<XMApp xml:id="S7.Ex57.m1.2.2">
<XMTok meaning="assign" role="RELOP">:=</XMTok>
<XMTok font="italic" role="UNKNOWN">a</XMTok>
<XMTok font="italic" role="UNKNOWN">b</XMTok>
</XMApp>
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
</para>
<para xml:id="S7.SS0.SSS0.Px1.p2">
<equation xml:id="S7.Ex58">
<Math mode="display" tex="a\coloneqq b\quad c\Colonapprox d\quad e\dblcolon f" text="formulae@(a coloneqq b, formulae@(c Colonapprox d, e dblcolon f))" xml:id="S7.Ex58.m1">
<XMath>
<XMDual>
<XMApp>
<XMTok meaning="formulae"/>
<XMRef idref="S7.Ex58.m1.1"/>
<XMRef idref="S7.Ex58.m1.2"/>
</XMApp>
<XMWrap>
<XMApp xml:id="S7.Ex58.m1.1">
<XMTok name="coloneqq" role="RELOP">≔</XMTok>
<XMTok font="italic" role="UNKNOWN">a</XMTok>
<XMTok font="italic" role="UNKNOWN">b</XMTok>
</XMApp>
<XMHint name="quad" role="PUNCT" width="10pt"/>
<XMDual xml:id="S7.Ex58.m1.2">
<XMApp>
<XMTok meaning="formulae"/>
<XMRef idref="S7.Ex58.m1.2.1"/>
<XMRef idref="S7.Ex58.m1.2.2"/>
</XMApp>
<XMWrap>
<XMApp xml:id="S7.Ex58.m1.2.1">
<XMTok name="Colonapprox" role="RELOP">::≈</XMTok>
<XMTok font="italic" role="UNKNOWN">c</XMTok>
<XMTok font="italic" role="UNKNOWN">d</XMTok>
</XMApp>
<XMHint name="quad" role="PUNCT" width="10pt"/>
<XMApp xml:id="S7.Ex58.m1.2.2">
<XMTok name="dblcolon" role="RELOP">::</XMTok>
<XMTok font="italic" role="UNKNOWN">e</XMTok>
<XMTok font="italic" role="UNKNOWN">f</XMTok>
</XMApp>
</XMWrap>
</XMDual>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
</para>
<para xml:id="S7.SS0.SSS0.Px1.p3">
<equation xml:id="S7.Ex59">
<Math mode="display" tex="\bigtimes\times\nuparrow\ndownarrow\otimes\bigotimes" text="list@(*, *, nuparrow, ndownarrow, tensor-product, tensor-product)" xml:id="S7.Ex59.m1">
<XMath>
<XMDual>
<XMApp>
<XMTok meaning="list"/>
<XMRef idref="S7.Ex59.m1.1"/>
<XMRef idref="S7.Ex59.m1.2"/>
<XMRef idref="S7.Ex59.m1.3"/>
<XMRef idref="S7.Ex59.m1.4"/>
<XMRef idref="S7.Ex59.m1.5"/>
<XMRef idref="S7.Ex59.m1.6"/>
</XMApp>
<XMWrap>
<XMTok fontsize="160%" meaning="times" name="bigtimes" role="MULOP" scriptpos="mid" xml:id="S7.Ex59.m1.1">×</XMTok>
<XMTok role="PUNCT">â£</XMTok>
<XMTok meaning="times" role="MULOP" xml:id="S7.Ex59.m1.2">×</XMTok>
<XMTok role="PUNCT">â£</XMTok>
<XMTok name="nuparrow" role="ARROW" xml:id="S7.Ex59.m1.3">⤉</XMTok>
<XMTok role="PUNCT">â£</XMTok>
<XMTok name="ndownarrow" role="ARROW" xml:id="S7.Ex59.m1.4">⤈</XMTok>
<XMTok role="PUNCT">â£</XMTok>
<XMTok meaning="tensor-product" name="otimes" role="MULOP" xml:id="S7.Ex59.m1.5">⊗</XMTok>
<XMTok role="PUNCT">â£</XMTok>
<XMTok mathstyle="display" meaning="tensor-product" name="bigotimes" role="SUMOP" scriptpos="mid" xml:id="S7.Ex59.m1.6">⨂</XMTok>
</XMWrap>
</XMDual>
</XMath>
</Math>
</equation>
</para>
</paragraph>
</section>
<section inlist="toc" xml:id="S8">
<tags>
<tag>8</tag>
( run in 0.801 second using v1.01-cache-2.11-cpan-437f7b0c052 )