\(
\def\T#1{\bf #1}
\def\A#1{\rm #1}
\def\K#1{\underline{\bf #1}}
\def\Set#1{\cal #1}
\def\BSet#1{\boldsymbol{\cal #1}}
\def\nmapsto{\mathop{{\not}{\mapsto}}}
\def\except{-}
\def\tuple#1{\langle{\rm #1}\rangle}
\def\dollar{\$}
\def\IF{\boldsymbol{\leftarrow}}
\)
