\def\:tempc{\HCode{<mspace width="0.2em"/>}\mathbin{mod} }
\HLet\bmod\:tempc
\def\:tempc#1{ (#1)}
\HLet\pod=\:tempc
\def\:tempc#1{\pod{\mathop{mod} #1}}
\HLet\pmod=\:tempc
\def\:tempc#1{ \mathop{mod} #1}
\HLet\mod=\:tempc
-_-_-
\Configure{hdotsfor}{\dots}
-_-_-
\def\mathop:prefix#1{%
\Configure{mathop}{*}{<mo class="mo-op"
#1\Hnewline>}{</mo>}%
{\Configure{mathop}{*}{<mo class="mo-op">}{</mo>}{}}}
-_-_-
\def\:tempc{\mathop{\underrightarrow\lim}\displaylimits} \HLet\varinjlim\:tempc
\def\:tempc{\mathop{\underleftarrow\lim}\displaylimits} \HLet\varprojlim\:tempc
\def\:tempc{\mathop{\overline\lim}\displaylimits} \HLet\varlimsup\:tempc
\def\:tempc{\mathop{\underline\lim}\displaylimits} \HLet\varliminf\:tempc
-_-_-
\HRestore\varinjlim
\HRestore\varprojlim
\HRestore\varlimsup
\HRestore\varliminf
\def\:tempc{\HCode{\add:description{added-description}{real part
symbol capital }}\o:Re:}
\HLet\Re\:tempc
\def\:tempc{\HCode{\add:description{added-description}{real part
symbol capital }}\o:Im:}
\HLet\Im\:tempc
-_-_-