“a gourmet guide to typesetting with the AMS-TEX macro package”