How to redefine the proof environment for INFORMS papers

Question

In almost all journals, proofs are written in a "proof" environment, like this"
begin{proof}
PROOF BODY
end{proof}

But INFORMS journals have an idiosyncratic way of writing proofs:
proof{Proof.} 
PROOF BODY
Halmos
endproof

When I submit a paper to an INFORMS journal, instead of going over all the "proof" environments in my paper and changing them, I thought of just re-defining the "proof" environments to use the INFORMS macros:
renewenvironment{proof}
{
    proof{Proof.} 
}
{ 
    Halmos
    endproof
}

But it did not work: I got an error "TeX capacity exceeded".
Is there a better solution?

Mico · Accepted Answer

(re-posting an earlier comment so that this question can be considered to have received (at least) one formal answer.)
The informs3 document class makes a number of, to put it delicately, questionable layout decisions. One of them, as you've discovered, is the particular form of the proof environment.
Rather than reinvent the wheel, so to speak, I suggest you load the amsthm package to allow you to use its time-proven proof environment. To do this, just executed the next few instructions in the preamble:
letproofrelax 
letendproofrelax 
lettheoremstylerelax 
usepackage{amsthm}

How to redefine the proof environment for INFORMS papers

One Answer

Add your own answers!

Ask a Question