
% -- Meta commands ------------------------------------------------------------
\newcommand{\NOTE}      [1]     {\textbf{(NOTE: #1)}}
\newcommand{\TODO}      [1]     {\textbf{(TODO:~ #1)}}
\newcommand{\CITE}              {\textbf{(CITE)}\xspace}
\newcommand{\CITEIT}    [1]     {\textbf{(CITE:~ #1)}\xspace}
\newcommand{\REF}               {\textbf{(REF)}\xspace}

% -- Short forms --------------------------------------------------------------
\newcommand{\trm}       [1]     {\textrm{#1}}
\newcommand{\tbf}       [1]     {\textbf{#1}}
\newcommand{\trb}       [1]     {\textrm{\textbf{#1}}}
\newcommand{\un}        [1]     {\underline{#1}}
\newcommand{\ov}        [1]     {\overline{#1}}
\newcommand{\qq}                {\quad \quad}
\newcommand{\mc}        [2]     {\multicolumn{#1}{l}{#2}}
\renewcommand{\tt}        [1]     {\texttt{#1}}

% -- Operators ----------------------------------------------------------------
\newcommand\To                  {\Rightarrow}
\newcommand\equalsdef           {\stackrel{\trm{\tiny{def}}}{=}}
\newcommand\equalsobs           {\stackrel{\trm{\tiny{obs}}}{=}}


% -- Macros -------------------------------------------------------------------
\renewcommand\bar               {~~|~~}
