Warning: this is an htmlized version!
The original is across this link,
and the conversion rules are here.
\def\defded#1#2{\expandafter\def\csname ded-#1\endcsname{#2}}
\def\ifdedundefined#1{\expandafter\ifx\csname ded-#1\endcsname\relax}
\def\ded#1{\ifdedundefined{#1}
    \errmessage{UNDEFINED DEDUCTION: #1}
  \else
    \csname ded-#1\endcsname
  \fi
}
\def\defdiag#1#2{\expandafter\def\csname diag-#1\endcsname{#2}}
\def\ifdiagundefined#1{\expandafter\ifx\csname diag-#1\endcsname\relax}
\def\diag#1{\ifdiagundefined{#1}
    \errmessage{UNDEFINED DIAGRAM: #1}
  \else
    \bfig\csname diag-#1\endcsname\efig
  \fi
}

% After loading diagxy, to make `\to' be an arrow
%
\def\diagxyto{\ifnextchar/{\toop}{\toop/>/}}
\def\mon{\diagxyto/ >->/}
\def\epi{\diagxyto/->>/}
\def\toleft{\diagxyto/<-/}
\def\monleft{\diagxyto/<-< /}
\def\epileft{\diagxyto/<<-/}
\def\to{\rightarrow}

\def\ton#1{\overset{#1}{\to}}
\def\ito{\hookrightarrow}
\def\tnto{\ton{\bullet}}
\def\funto{\Rightarrow}
\def\bij{\leftrightarrow}
\def\mto{{\mapsto}}