LaTeX.org

I am typing a math paper in latex.
I wanted to make a small change in the proof environment,
(just changing the addpunct symbol from . to :), so I copied the
\newenvironment{proof} from amsthm.sty into the heading of my paper,
and modified it slightly. However, this produces an error.

Here is a ...