The amsthm package provides an enhanced version of the / command newtheorem for defining theorem-like environments. The amsthm version of the 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 automatically load the amsthm package, so everything described here applies to them as well. An example file thmtest.tex is provided in the / distribution.