1

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?

5
  • 1
    Can you be more precise about the template you're using? A link and the name of the document class should suffice.
    – egreg
    Commented Jul 26, 2020 at 17:52
  • 1
    The template is here: pubsonline.informs.org/pb-assets/… The first line is \documentclass[opre,nonblindrev]{informs3} Commented Jul 26, 2020 at 17:57
  • 1
    In the preamble of your latex document, do give \let\proof\relax \let\endproof\relax \let\theoremstyle\relax \usepackage{amsthm} a try. That should load the "standard" proof environment of the amsthm package.
    – Mico
    Commented Jul 26, 2020 at 18:42
  • 1
    The definitions made by the class are (insert word here). Well, disputable. By the way, the version of the class I have is from 2012, about 17 years since \bf, \it and similar commands had been deprecated.
    – egreg
    Commented Jul 26, 2020 at 19:34
  • 1
    @Mico It worked, thanks a lot! Commented Jul 26, 2020 at 21:06

1 Answer 1

2

(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:

\let\proof\relax 
\let\endproof\relax 
\let\theoremstyle\relax 
\usepackage{amsthm}

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .