\newcommand{\editor}[1]{\begin{sc}#1\end{sc}}
\newcommand{\todo}[2]{\editor{#2}}

\newtheorem{thm}{Theorem}[section]
\newtheorem{lem}{Lemma}[section]
\newtheorem{prop}{Proposition}[section]
\newtheorem{claim}{Claim}[section]
\newtheorem{cor}{Corollary}[section]
\newtheorem{fact}{Fact}[section]
\newtheorem{assume}{Assumption}
\newtheorem{hypothesis}{Hypothesis}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{principle}{Principle}

\newcommand{\refchap}[1]{Chapter~\ref{#1}}
\newcommand{\refapp}[1]{Appendix~\ref{#1}}
\newcommand{\reftab}[1]{Table~\ref{#1}}
\newcommand{\reffig}[1]{Figure~\ref{#1}}
\newcommand{\refsec}[1]{Section~\ref{#1}}
\newcommand{\reflem}[1]{Lemma~\ref{#1}}
\newcommand{\refthm}[1]{Theorem~\ref{#1}}
\newcommand{\refcor}[1]{Corollary~\ref{#1}}
\newcommand{\reffact}[1]{Fact~\ref{#1}}
\newcommand{\refclaim}[1]{Claim~\ref{#1}}
\newcommand{\refprin}[1]{Principle~\ref{#1}}
\newcommand{\refprop}[1]{Proposition~\ref{#1}}
\newcommand{\refeqn}[1]{Eqn.\ (\ref{#1})}
\newcommand{\refineqn}[1]{Inequality (\ref{#1})}
\newcommand{\refdefn}[1]{Defn.\ \ref{#1}}
\newcommand{\refexam}[1]{Example \ref{#1}}
\newcommand{\refassume}[1]{Assumption \ref{#1}}
\newcommand{\refprob}[1]{Problem \ref{#1}}

\newcommand{\ignore}[1]{}
\DeclareSymbolFont{AMSb}{U}{msb}{m}{n}
\DeclareMathSymbol{\N}{\mathbin}{AMSb}{"4E}
\DeclareMathSymbol{\Z}{\mathbin}{AMSb}{"5A}
\DeclareMathSymbol{\R}{\mathbin}{AMSb}{"52}
\DeclareMathSymbol{\Q}{\mathbin}{AMSb}{"51}
\DeclareMathSymbol{\I}{\mathbin}{AMSb}{"49}
\DeclareMathSymbol{\C}{\mathbin}{AMSb}{"43}
\newcommand{\powerset}[1]{\mathrm{Pow}(#1)}
\newcommand{\domain}[1]{\mathit{dom}(#1)}


% Margin notes
\newcommand{\refer}[2]{\marginpar{\footnotesize See #2 for #1.}}
\newcommand{\paragraphlabel}[1]{}
%\newcommand{\paragraphlabel}[1]{${}^{\text{\tiny #1}}$}
%\newcommand{\paragraphlabel}[1]{$\boxed{#1}$}

% Working notes
\newcommand{\hmm}[1]{
\begin{figure}
\framebox[\linewidth]{
\begin{minipage}{.9\linewidth}
#1
\end{minipage}
}
\end{figure}
}

% Bibliograph links
\newcommand{\biblink}[2]{\href{#2}{$\boxed{\text{\footnotesize #1}}$}}

% Computability 
\newcommand{\coding}[1]{\ulcorner #1 \urcorner}
\newcommand{\partialrightarrow}{\rightharpoonup}
\newcommand{\typepair}[1]{\langle #1 \rangle}


\newcommand{\idea}[1]{\vspace{0.1in}\noindent\fbox{\begin{minipage}{\linewidth}{\bf Idea.} #1\end{minipage}}\vspace{0.1in}}

\newcommand{\savings}{\mathsf{savings}}

\newcommand{\sequence}[1]{\langle #1 \rangle}

\newcommand{\tinysection}[1]{\vspace{0.1in}\noindent{\bf #1}}

\newcommand{\strlen}[1]{\| #1 \|}  % \mathscr{l}(#1)
\newcommand{\Hdomain}{H}

