shallit@graceland.waterloo.edu (Jeffrey Shallit) (10/30/90)
Prabhakar Ragde provided the solution to turning off the AMS-TeX logo: \catcode`\@=11 \def\logo@{} \catcode`\@=\active Thanks, Prabhakar! Jeff Shallit