Credits
-------

This scribe note template package was artfully taken from Cornell CS 611. 

Introduction
------------

See notes-template.tex and lec*.tex for examples of scribed lectures.  To
compile them, just type "latex notes-template.tex" or "pdflatex
notes-template.tex".  You can view the results with xdvi, xpdf, Acrobat
Reader, etc.

Common mistakes to avoid (read this!):
-------------------------------------

Not setting the lecture number, the date, or the names of all the
scribes.

Not using the latest version of the scribe template. If you are doing
notes for the second time, get a fresh copy because new, useful macros
may have been added.

Not looking at the example files or 655.sty to see how various
typesetting tasks can be accomplished easily.

Writing the document with 1000-character lines. Please try to keep the
lines within 80 characters in length so they're convenient for all text
editing programs.

Using inline math mode $...$ for math that isn't inline. Use display
math \[...\] for separate equations. Don't use $$...$$ either; that's
raw TeX.  The eqnarray* environment is good for multi-line math.

Using \\ or \newline a lot. If this is happening you are doing something
wrong. TeX will break things into paragraphs fine on its own.

Writing English words in the middle of math without protection. Put an
\mbox around non-math text in the middle of math to get out of math mode
temporarily.

Writing long variable names in the middle of math. TeX interprets them
as products and doesn't typeset them nicely. Do {\mathit{name}} or
\nm{name} depending on the desired appearance.

Leaving out spaces in lambda calculus. Use the hard space character ~ to
make sure things don't glue together.

Using double quotation marks "" for quoting something. TeX wants you
to use `` and '' to surround quoted material. With 655.sty, double
quotation marks will only change the font (which is useful in itself).

Not using the \lam, \lm macros for lambda terms.

Not using the \mapsto arrow for function extension f[a \mapsto b]

Not using the \bnf macro to separate cases in a context-free grammar.

Not using the \stepsto macro to describe rewrite steps (a \stepsto b).