%%	USAGE:  \lecnotes{DATE}{NUMBER OF LECTURE}
%%	E.g.,   \lecnotes{February 14, 1995}{3}
\newcommand{\lecnotes}[2]{\noindent\vspace*{-\toppush}\newline\parbox{6.5in}
  {6.042J/18.062J \hfill #1 \newline
  Professor Mauricio Karchmer \newline
  \mbox{}\hrulefill\mbox{}}
  \bigskip\begin{center}{\Large Lecture #2 notes}\end{center}\bigskip}


\setlength{\parskip}{\medskipamount}
\newenvironment{examples}{\medskip
	\noindent{\bf Examples:}\begin{enumerate}}{\end{enumerate}}
\renewenvironment{example}{\medskip
	\noindent{\bf Example: }}{}
\renewenvironment{exercise}{\medskip
	\noindent{\bf Exercise: }}{}

\newcounter{secnum}
\renewcommand{\section}[1]{\stepcounter{secnum}\medskip 
	\noindent{\large \S {\bf \thesecnum\ } \ #1}\\ }

\newcommand{\exm}{\begin{example}}
\newcommand{\eexm}{\end{example}}
\newcommand{\exr}{\begin{exercise}}
\newcommand{\eexr}{\end{exercise}}
%\newcommand{\pf}{\begin{proof}}
%\newcommand{\epf}{\end{proof}}
%\newcommand{\thm}{\begin{theorem}}
%\newcommand{\ethm}{\end{theorem}}
\newcommand{\lm}{\begin{lemma}}
\newcommand{\elm}{\end{lemma}}
\newcommand{\cor}{\begin{corollary}}
\newcommand{\ecor}{\end{corollary}}

\newcommand{\given}{\mid}
\newcommand{\T}{{\rm T}}
\newcommand{\F}{{\rm F}}
\newcommand{\Om}{{\mbox{$\Omega$}}}
\newcommand{\Ga}{{\mbox{$\Gamma$}}}
\renewcommand{\u}[1]{{\mbox{\boldmath$#1$}}}