\newcommand\citet[1]{\cite{#1}}
\newcommand\citep[1]{\cite{#1}}
\newcommand\allowbreak{\relax}
\newcommand\lor{\mathtt{ or }}
\newcommand\ell{l}
\newcommand\mathbb[1]{\mathbf{#1}}
\renewcommand\langle{<}
\renewcommand\rangle{>}
\renewcommand\bot{\mathtt{false}}
\renewcommand\in{\mathtt{ in }}
\newcommand\penalty[1]{\relax}
\newcommand\land{\wedge}
\newcommand\bold[1]{\mathbf{#1}}
\newcommand\top{{\sc T}}
