\newcommand{\backsl}{\ensuremath{\backslash}}
\newcommand{\metavar}[1]{\ensuremath{\mathit{#1}}}
\newcommand{\turnstile}{\ensuremath{\vdash}}
\newcommand{\hastype}{\ensuremath{\mathrel{:}}}
\newcommand{\twiddle}{\ensuremath{\tilde{\ }}}
\newcommand{\caret}{\ensuremath{\hat{\ }}}
\newcommand{\stepsto}{\ensuremath{\mapsto}}
\newcommand{\evalsto}{\ensuremath{\Downarrow}}

\newcommand{\notcap}{\mathrel{\not\cap}}

\newcommand{\cdparens}[1]{\mathcd{(}{#1}\mathcd{)}}
\newcommand{\cdcomma}[2]{{#1}\mathcd{,}{#2}}
\newcommand{\cdcdc}{\mathcd{,}\ldots\mathcd{,}}
\newcommand{\cdseq}[2]{#2_{1}\cdcdc #2_{#1}}
\newcommand{\cdzeq}[2]{#2_{0}\cdcdc #2_{#1-1}}
\newcommand{\cdsqbracks}[1]{\mathcd{[}{#1}\mathcd{]}}
\newcommand{\cdptbracks}[1]{\mathcd{<}{#1}\mathcd{>}}
\newcommand{\cdrdbracks}[1]{\cdparens{#1}}
\newcommand{\cdbraces}[1]{\mathcd{\{}{#1}\mathcd{\}}}

\renewcommand{\subst}[3]{\{#1/#2\}#3}

\newcommand{\StepsTo}{\mathrel{\mapsto}}
\newcommand{\StepsToSup}[1]{\mathrel{\mapsto^{#1}}}
\newcommand{\EvalsTo}{\mathrel{\Downarrow}}
\newcommand{\MultiStepsTo}{\StepsToSup{\ast}}
\newcommand{\NStepsTo}[1]{\StepsToSup{#1}}
\newcommand{\CompStepsTo}{\StepsToSup{!}}

\newcommand{\Synth}{\mathrel{\uparrow}}
\newcommand{\Anal}{\mathrel{\downarrow}}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: 
