Writeup

Typesetting was a simple task, but thanksgiving is due to D. Knuth's TEX and Leslie Lamport's L^ATEX, Drakos and Moore for L^ATEX2HTML, as well as the authors of xfig and EMACS.