%%
%%    Some abbreviations
%%
\def\ra{\rightarrow}
\def\ms{\mapsto}

%%
%%    Some common symbols from the LaTeX lasy font.
%%
\font\lasy=lasy10
\def\prec{\mathop{\hbox{\lasy\char40}}}
\def\succ{\mathop{\hbox{\lasy\char41}}}
\def\lhd{\mathop{\hbox{\lasy\char1}}}
\def\unlhd{\mathop{\hbox{\lasy\char2}}}
\def\rhd{\mathop{\hbox{\lasy\char3}}}
\def\unrhd{\mathop{\hbox{\lasy\char4}}}
\def\Agemo{\mathop{\hbox{\lasy\char48}}}
\def\Box{\mathop{\hbox{\lasy\char50}}}
\def\Diamond{\mathop{\hbox{\lasy\char51}}}
\def\sqsubset{\mathop{\hbox{\lasy\char60}}}
\def\sqsupset{\mathop{\hbox{\lasy\char61}}}
\def\bowtie{\mathop{\hbox{\lasy\char49}}}
\def\sim{\mathop{\hbox{\lasy\char58}}}
\def\leadsto{\mathop{\hbox{\lasy\char58}}}

%%
%%    The following ones are not needed right now.
%%
%\newcommand{\ol}{\overline}
%\newcommand{\ti}{\tilde}