Provides: inclusion of PostScript figures, and of TeX text within figures; automatic creation of index entries and cross-references where appropriate; no need to worry about fragile commands in almost all situations; greater versatility in defining theorem-like environments; proofing aids such as version numbers and a running index.