Fixed up a few TeXisms and markup nits, but otherwise unchanged. Somewhat raw.
Attach a file by drag & drop or click to upload
