%!TEX root = ../Main.tex
\newcommand{\TODO}[1]	{\emph{\textbf{TODO:} #1}}
\newcommand{\ISSUE}[1]	{\emph{\textbf{ISSUE:} #1}}
\newcommand{\CITE}	{\textbf{CITE} }
\newcommand{\CITEME}[1] {\textbf{CITE: {#1}}}
\newcommand{\REF}	{\textbf{REF }}

\newcommand{\simon}[1]	{\emph{\textbf{SLPJ:} #1}}
\newcommand{\ben}[1]	{\emph{\textbf{BL:} #1}}
\newcommand{\manuel}[1]	{\emph{\textbf{MMTC:} #1}}
\newcommand{\amos}[1]	{\emph{\textbf{AR:} #1}}

\newcommand{\ov}[1]     {\overline{#1}}
\renewcommand{\tt}[1]     {\texttt{#1}}
\newcommand{\targ}[1]   {\tt{[} #1 \tt{]}}
