\newcommand{\Kaya}{\textsc{Kaya}}
\newcommand{\TODO}[1]{[\textbf{TODO:} #1]}
\newcommand{\SL}{$\backslash$}

\newcommand{\CD}{\texttt}
\newcommand{\MC}{\textsf}

\newcommand{\demph}{\textbf}
\newcommand{\remph}{\emph}

\newcommand{\oneplus}[1]{#1$^+$}
\newcommand{\zeroplus}[1]{#1$^*$}
\newcommand{\maybe}[1]{#1$^?$}

\newcommand{\FIG}[3]{\begin{figure}[h]#1\caption{#2}\label{#3}\end{figure}}
\newcommand{\FFIG}[3]{\begin{figure}[h]\begin{center}\fbox{#1}\end{center}\caption{#2}\label{#3}\end{figure}}

\newcommand{\BNF}[1]
{
\medskip
\begin{tabular}{rcl}
#1
\end{tabular}
\medskip
}
\newcommand{\Rule}[2]
{ #1 & ::= & #2 \\ }
\newcommand{\Or}[1]
{ & $\mid$ & #1 \\ }

\newcommand{\fragment}[1]{
\medskip
\framebox[12cm][l]{
\begin{minipage}{11cm}
#1
\end{minipage}
}
\medskip
}