Abstract

\newtheorem command recognizes a \theoremstyle specification (as in Mittelbach’s theorem package) and has a * form for defining unnumbered environments. The amsthm package also defines a proof environment that automatically adds a Q.E.D. symbol at the end. AMS document classes incorporate the amsthm package, so everything described here applies to them as well. A number of examples are given in the file thmtest.tex.