\newif \ifdraft \draftfalse
\newif \iflater \laterfalse

\definecolor{bluegray}{rgb}{0.3,0.3,.6}
\newcommand{\finishlater}[1]{\iflater\finish{#1}\fi}
\newcommand{\finish}[1]{\ifdraft{\color{bluegray}{[#1]}} \fi}
\newcommand{\finishnow}[1]{\finish{\bf #1}}
\newcommand{\mh}[1]{\finish{MH: #1}}
\newcommand{\bcp}[1]{\finish{BCP: #1}}
\newcommand{\dmwit}[1]{\finish{dmwit: #1}}
\newcommand{\reviewcomment}[1]{\finish{\bf Reviewer: #1}}

\newcommand{\cond}[1]{\left\{\begin{array}{ll}#1\end{array}\right.}

% \theoremstyle{plain}% default
% \newtheorem{theorem}{Theorem}[section]
% \newtheorem{lemma}[theorem]{Lemma}
% \newtheorem{proposition}[theorem]{Proposition}
% \newtheorem*{cor}{Corollary}
% \newtheorem*{KL}{Klein's Lemma}
% \theoremstyle{definition}
% \newtheorem{definition}{Definition}[section]

% An experimental convention: upper-case first letters to indicate that
% these are paper-specific definitions.  I'm not really tied to this
% convention, so feel free to break/change it as you please.
\newcommand{\Open}{\{\hspace{-2pt}|}
\newcommand{\Close}{|\hspace{-2pt}\}}
\newcommand{\Label}[1]{\ensuremath{\mathtt{#1}}}
\newcommand{\To}{\mapsto}
\newcommand{\Empty}{\Open\Close}
\newcommand{\Domain}{\mathit{dom}}
\newcommand{\Free}{\mathit{fv}}
\newcommand{\Except}{\setminus}
\newcommand{\Defined}{{\downarrow}} % double braces to affect spacing, see http://tex.stackexchange.com/a/38984/16779
\newcommand{\Undefined}{{\uparrow}}
\newcommand{\Insert}{\mathit{insert}}
\newcommand{\Hoist}{\mathit{hoist}}
\newcommand{\Plunge}{\mathit{plunge}}
\newcommand{\Delete}{\mathit{delete}}
\newcommand{\Rename}{\mathit{rename}}
\newcommand{\At}{\mathit{at}}
\newcommand{\Dputr}{\mathord{\Rrightarrow}}
\newcommand{\Dputl}{\mathord{\Lleftarrow}}
\newcommand{\Lens}{\leftrightarrow}
\newcommand{\Inl}{\mathit{inl}}
\newcommand{\Inr}{\mathit{inr}}

\newcommand{\Edited}{\mathsf{edited}}
\newcommand{\Unedited}{\mathsf{unedited}}
\newcommand{\IllTyped}{\mathsf{illtyped}}

\newcommand{\File}{\mathit{file}}
\newcommand{\Directory}{\mathit{dir}}
\newcommand{\Bits}{\mathbb B}
\newcommand{\Touch}{\mathsf{touch}}
\newcommand{\Sed}{\mathsf{sed}}
\newcommand{\Rm}{\mathsf{rm}}
\newcommand{\Deep}{\mathit{deep}}