% style for 80-310 homework sets

\usepackage{amssymb,amsmath}
\newcommand{\N}{\mathbb{N}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\mc}[1]{\mathcal{#1}}
\newcommand{\gmdl}[1]{\mathcal{#1}}

\newcommand{\la}{\langle}
\newcommand{\ra}{\rangle}
\newcommand{\half}{\frac{1}{2}}
\newcommand{\st}{ \; | \; } % x such that ...
\newcommand{\res}{\mathord{\upharpoonright}}
\newcommand{\concat}{\mathord{\hat{\;}}}


%Jeremy's macros
\newcommand{\limplies}{\rightarrow}
%\newcommand{\lor}{\vee}
%\newcommand{\land}{\wedge} 
\newcommand{\liff}{\leftrightarrow}
%\newcommand{\lnot}{\neg}
\newcommand{\ph}{\varphi}
\newcommand{\ex}{\exists}
\newcommand{\al}{\forall}






% Margins, etc.

\addtolength{\textheight}{\headheight}
\addtolength{\textheight}{\headsep}
\setlength{\headheight}{0pt}
\setlength{\headsep}{0pt}

\setlength{\parindent}{0in}
%\pagestyle{empty}  


% double space between paragraphs

\newcommand{\skipbetpar}{\addtolength{\parskip}{\baselineskip}}


% header

\newcommand{\homeworkhead}{{\sf 80-310/610 Logic and Computation}
  \hfill {\sf Fall 2006}}

\newcommand{\dotitle}[2]{\homeworkhead 
\bigskip\bigskip
\begin{center}
{\sc Homework #1} \\ {\small Due #2}
\end{center}
\bigskip\bigskip
}

\newcommand{\soltitle}[2]{\homeworkhead 
\bigskip\bigskip
\begin{center}
{\sc Solutions to Homework \##1}
\end{center}
\bigskip\bigskip
}

\newcommand{\addstar}{\makebox[0in][r]{$\star$\hspace*{0.3in}}}
\newcommand{\addcirc}{\makebox[0in][r]{$\circ$\hspace*{0.3in}}}
 
% List environments

\newcounter{listcounter1}
\newenvironment{list1}{
  \begin{list}{\arabic{listcounter1}.\hfill}{
    \usecounter{listcounter1}
    \setlength{\leftmargin}{18pt}
    \setlength{\labelwidth}{18pt}
    \setlength{\labelsep}{0pt}
    \setlength{\topsep}{0pt}
  }
}{
  \end{list}
}

\newcounter{listcounter2}
\newenvironment{list2}{
  \begin{list}{\alph{listcounter2}.\hfill}{
    \usecounter{listcounter2}
    \setlength{\leftmargin}{16pt}
    \setlength{\labelwidth}{16pt}
    \setlength{\labelsep}{0pt}
    \setlength{\topsep}{0pt}
  }
}{
  \end{list}
}

\newcommand{\normalitemsep}{\setlength{\labelsep}{0.5em}}
\newcommand{\revertitemsep}{\setlength{\labelsep}{0pt}}
\newenvironment{myitemize}{\normalitemsep \begin{itemize}}{%
  \revertitemsep \end{itemize}}