% mostly commands to do the wierd stuff in desugaring function tables.

\newcommand{\ldb}{$[\![$}
\newcommand{\rdb}{$]\!]$}
\newcommand{\TE}[1]{$\cal T\!E$\ldb {#1}\rdb}
\newcommand{\TF}[1]{$\cal T\!F$\ldb {#1}\rdb}
\newcommand{\lit}[1]{{\tt #1}}
\newcommand{\llb}{{\verb-[-}}
\newcommand{\rlb}{{\verb-]-}}
\newcommand{\Eo}{{$E_{1}$}}
\newcommand{\Et}{{$E_{2}$}}
\newcommand{\En}{{$E_{n}$}}
\newcommand{\aut}{$a$ $u$ $t$}
\newcommand{\li}{{\tt `}}

%\newcommand{\lban}{(\!|}
%\newcommand{\rban}{|\!)}
%\newcommand{\llens}{[\!(}
%\newcommand{\rlens}{)\!]}
%\newcommand{\lenv}{[\![}
%\newcommand{\renv}{]\!]}
%\newcommand{\lbarb}{\langle\!|}
%\newcommand{\rbarb}{|\!\rangle}
