Fractions

<..equations of amsmath.sty..>+
 \expandafter\def\csname genfrac \endcsname#1#2#3#4{%
   \def\@tempa{#1#2}%
   \edef\@tempb{\@nx\@genfrac\@mathstyle{#4}%
     \expandafter\noexpand\csname @@\ifx @#3@over\else above\fi
     \ifx\@tempa\@empty \else withdelims\fi\endcsname}%
   \@tempb{#1#2#3}}
 \def\:tempc#1#2#3#4#5{{\a:genfrac#1\b:genfrac{\c:genfrac#4#2#3\relax
    {\d:genfrac#5\e:genfrac}}\f:genfrac}}
 \HLet\@genfrac=\:tempc
 \NewConfigure{genfrac}{6}
 \HRestore\frac
 \def\:temp#1#2{{\a:frac\begingroup
    #1\endgroup\b:frac \@@over \c:frac #2\d:frac}}
 \expandafter\HLet\csname frac \endcsname\:temp
 -_-_-

<..tcilatex fractions..>
 \def\:tempc#1#2{\o:dfrac:{\a:dfrac#1\b:dfrac}{\c:dfrac#2\d:dfrac}}
 \HLet\dfrac=\:tempc
 \NewConfigure{dfrac}{4}
 \def\:tempc#1#2{\o:tfrac:{\a:tfrac#1\b:tfrac}{\c:tfrac#2\d:tfrac}}
 \HLet\tfrac=\:tempc
 \NewConfigure{tfrac}{4}
 \def\:tempc#1#2{\o:binom:{\a:binom#1\b:binom}{\c:binom#2\d:binom}}
 \HLet\binom=\:tempc
 \NewConfigure{binom}{4}
 \def\:tempc#1#2{\o:dbinom:{\a:dbinom#1\b:dbinom}{\c:dbinom#2\d:dbinom}}
 \HLet\dbinom=\:tempc
 \NewConfigure{dbinom}{4}
 \def\:tempc#1#2{\o:tbinom:{\a:tbinom#1\b:tbinom}{\c:tbinom#2\d:tbinom}}
 \HLet\tbinom=\:tempc
 \NewConfigure{tbinom}{4}
 -_-_-  
 \let\n:frac:=\:UnDef
 \DeclareRobustCommand{\n:frac:}[2]{<.amsamth.sty frac.>}
 \def\:temp#1#2{{\a:frac\begingroup
    #1\endgroup\b:frac \@@over \c:frac #2\d:frac}}
 \HLet\frac=\:temp
 \NewConfigure{frac}{4} -_-_-

<..amsmath.sty..>+
 \let\:tempc\maketag@@@
 \pend:defI\:tempc{\a:maketag}
 \append:defI\:tempc{\b:maketag}
 \NewConfigure{maketag}{2}
 \HLet\maketag@@@\:tempc
 -_-_-