\def\:temp#1#2{{\a:stackrel{#1}\b:stackrel {#2}\c:stackrel}}
\HLet\stackrel=\:temp
\:CheckOption{stackrel-} \if:Option
\Configure{stackrel}
{\mathrel\bgroup \HCode{<mglyph\Hnewline
alt="\string\stackrel}\afterassignment\put:arg\tmp:toks}
{\afterassignment\put:arg\tmp:toks}
{\HCode{" />}\egroup}
\def\put:arg{\HCode{{\the\tmp:toks}}}
\else
\Configure{stackrel}
{\HCode{\string\stackrel\l:brace}}%
{\HCode{\r:brace\l:brace}<.mathop nested within stackrel.>\mathop}
{\HCode{\r:brace}}
\fi -_-_-
\Configure{mathop*}{*}
{\string\mathop\l:brace}
{\r:brace}
{\Configure{mathop}{}{}{}{}}%
-_-_-
\bgroup
\catcode‘\{=12 \catcode‘\}=12
\catcode‘\[=1 \catcode‘\]=2
\catcode‘\/=0 \catcode‘\\=12
/gdef/l:brace[{]
/gdef/r:brace[}]
/gdef/back:slash[\]
/egroup
-_-_-
\Configure{overbrace}
{\Configure{mathop*}{*}
{\string\overbrace\l:brace}
{\r:brace}
{\Configure{mathop}{}{}{}{}}%
}
{\let\o:overbrace:=\displaystyle}
{}
\Configure{underbrace}
{\Configure{mathop*}{*}
{\string\underbrace\l:brace}
{\r:brace}
{\Configure{mathop}{}{}{}{}}%
}
{\let\o:underbrace:=\displaystyle}
{}
-_-_-
% \Configure{MathClass}{0}{*}{<mi\Hnewline>}{</mi>}{}
\Configure{MathClass}{1}{*}{\string\mathop\l:brace}{\r:brace}{}
% \Configure{MathClass}{2}{*}{<mo\Hnewline
% \mml:class="MathClass-bin">}{</mo>}{}
% \Configure{MathClass}{3}{*}{<mo\Hnewline
% \mml:class="MathClass-rel">}{</mo>}{}
\:CheckOption{mathltx-} \if:Option
\Configure{MathClass}{4}{*}{}{}{}
\Configure{MathClass}{5}{*}{}{}{}
\else
\Log:Note{for sources failing to produce
clean mathltx code, try the command line option ‘mathltx-’}%
\fi
%\Configure{MathClass}{6}{*}{<mo\Hnewline
% \mml:class="MathClass-punc">}{</mo>}{}
% \Configure{MathClass}{7}{*}{<mn>}{</mn>}
% {0123456789}
\Configure{FormulaClass}{0}{}{}{}
\Configure{FormulaClass}{1}{}{}{}
\Configure{FormulaClass}{2}{}{}{}
\Configure{FormulaClass}{3}{}{}{}
\Configure{FormulaClass}{4}{}{}{}
\Configure{FormulaClass}{5}{}{}{}
\Configure{FormulaClass}{6}{}{}{}
-_-_-
\def\:tempa#1{%
\def\:temp{\HCode{\string\firstOfOne}\,\HCode{\string#1\space}}%
\HLet#1\:temp }
\:tempa\bigcap
\:tempa\bigcirc
\:tempa\bigcup
\:tempa\bigodot
\:tempa\bigoplus
\:tempa\bigotimes
\:tempa\bigsqcup
\:tempa\bigtriangledown
\:tempa\bigtriangleup
\:tempa\biguplus
\:tempa\bigvee
\:tempa\bigwedge
\:tempa\coprod
\:tempa\int
\:tempa\intop
\:tempa\ointop
\:tempa\prod
\:tempa\sum
-_-_-
\def\:tempa#1{%
\def\:temp{\HCode{\string#1\space}}%
\HLet#1\:temp }
\:tempa\Delta
\:tempa\Gamma
\:tempa\Im
\:tempa\Lambda
\:tempa\Leftarrow
\:tempa\Leftrightarrow
\:tempa\Omega
\:tempa\Phi
\:tempa\Pi
\:tempa\Psi
\:tempa\Re
\:tempa\Rightarrow
\:tempa\Sigma
\:tempa\Theta
\:tempa\Upsilon
\:tempa\Xi
\:tempa\aleph
\:tempa\alpha
\:tempa\amalg
\:tempa\angle
\:tempa\approx
\:tempa\ast
\:tempa\asymp
\:tempa\beta
\:tempa\bot
\:tempa\bullet
\:tempa\cap
\:tempa\cdot
\:tempa\chi
\:tempa\circ
\:tempa\clubsuit
\:tempa\coprod
\:tempa\cup
\:tempa\dagger
\:tempa\dashv
\:tempa\ddagger
\:tempa\delta
\:tempa\diamond
\:tempa\diamondsuit
\:tempa\div
\:tempa\ell
\:tempa\emptyset
\:tempa\epsilon
\:tempa\equiv
\:tempa\eta
\:tempa\exists
\:tempa\flat
\:tempa\forall
\:tempa\frown
\:tempa\gamma
\:tempa\ge
\:tempa\geq
\:tempa\gg
\:tempa\hbar
\:tempa\heartsuit
\:tempa\imath
\:tempa\in
\:tempa\infty
\:tempa\intop
\:tempa\iota
\:tempa\jmath
\:tempa\kappa
\:tempa\lambda
\:tempa\land
\:tempa\le
\:tempa\leftarrow
\:tempa\leftharpoondown
\:tempa\leftharpoonup
\:tempa\leftrightarrow
\:tempa\leq
\:tempa\ll
\:tempa\lnot
\:tempa\lor
\:tempa\mapstochar
\:tempa\mid
\:tempa\mp
\:tempa\mu
\:tempa\nabla
\:tempa\natural
\:tempa\ne
\:tempa\nearrow
\:tempa\neg
\:tempa\neq
\:tempa\ni
\:tempa\not
\:tempa\nu
\:tempa\nwarrow
\:tempa\odot
\:tempa\oint
\:tempa\ointop
\:tempa\omega
\:tempa\ominus
\:tempa\oplus
\:tempa\oslash
\:tempa\otimes
\:tempa\parallel
\:tempa\partial
\:tempa\perp
\:tempa\phi
\:tempa\pi
\:tempa\pm
\:tempa\prec
\:tempa\preceq
\:tempa\prime
\:tempa\prod
\:tempa\propto
\:tempa\psi
\:tempa\rho
\:tempa\rightarrow
\:tempa\rightharpoondown
\:tempa\rightharpoonup
\:tempa\searrow
\:tempa\setminus
\:tempa\sharp
\:tempa\sigma
\:tempa\sim
\:tempa\sim
\:tempa\simeq
\:tempa\simeq
\:tempa\smallint
\:tempa\smile
\:tempa\spadesuit
\:tempa\sqcap
\:tempa\sqcup
\:tempa\sqsubseteq
\:tempa\sqsupseteq
\:tempa\star
\:tempa\subset
\:tempa\subseteq
\:tempa\succ
\:tempa\succeq
\:tempa\sum
\:tempa\supset
\:tempa\supseteq
\:tempa\surd
\:tempa\swarrow
\:tempa\tau
\:tempa\theta
\:tempa\times
\:tempa\top
\:tempa\triangle
\:tempa\triangleleft
\:tempa\triangleright
\:tempa\uplus
\:tempa\upsilon
\:tempa\varbigtriangledown
\:tempa\varbigtriangleup
\:tempa\varepsilon
\:tempa\varphi
\:tempa\varpi
\:tempa\varrho
\:tempa\varsigma
\:tempa\vartheta
\:tempa\vdash
\:tempa\vee
\:tempa\wedge
\:tempa\wp
\:tempa\wr
\:tempa\xi
\:tempa\zeta
-_-_-
\def\:temp{\HCode{\string\firstOfOne}\,\HCode{\string\int
\string\int\space}}
\HLet\iint\:temp
\def\:temp{\HCode{\string\firstOfOne}\,\HCode{\string\int
\string\int\string\int\space}}
\HLet\iiint\:temp
\def\:temp{\HCode{\string\Rightarrow }}
\HLet\implies\:temp
\def\:temp{\HCode{\string\Leftarrow }}
\HLet\impliedby\:temp
-_-_-