SIAM 模板中缺少带有证明和 eqnarray 环境的 QED 符号

Question

我似乎无法在最新的 SIAM 文档类中获得与证明环境和 QED 符号一致的行为，尤其是与 eqnarray 和方程环境。我的 MWE 需要一些交互性，所以请阅读它。我的问题只是部分回答了这个帖子。

\documentclass[]{siamart1116}
\begin{document}
I would really love a QED symbol to show up at the end, without having to abandon the proof environment or do something annoying by hand every time.
\begin{proof}
    \begin{eqnarray*}
        A
        & = & B \\
        & = & C \\
        & = & D. \mbox{ end of proof!}
    \end{eqnarray*}
\end{proof}
Some words and thoughts on that earth-shattering result.  Oops, but as a clueless reader who skipped the proof, I have no idea where the post-proof discussion begins! \\
The equation environment seems ok, but sometimes the QED symbol shows, and sometimes it doesn't.  Right now it seems to show.
\begin{proof}
    Since $A = B = C = D$, then it's probably also true that
    \begin{equation}
    A = E.
    \end{equation}
\end{proof}
Now comment out the middle proof, and just run with this one.  We're back to weirdness.
\begin{proof}
Hell, I bet
    \begin{equation}
    E = F = G = H...
    \end{equation}
    i.e., that the whole flippin' alphabet is equal.
\end{proof}
\end{document}

Answer 1

主要问题是使用eqnarray，它不适合真正的数学排版，请参阅eqnarray 与 align。

另一方面，当使用自动添加证明结束符号的选项时，基于ntheorem哪个的类是有缺陷的。例如，在第一个比对中使用而不是并删除中间证明会产生thmmarksalign*eqnarray*

然而，错误的证明结束符号在新的编译中消失了：

删除中间证明最初会使内部计数器感到困惑，但新的编译会使一切同步。

\documentclass{siamart1116}

\begin{document}

I would really love a QED symbol to show up at the end, 
without having to abandon the proof environment or do 
something annoying by hand every time.
\begin{proof}
\begin{align*}
  A
  &= B \\
  &= C \\
  &= D. 
\end{align*}
\end{proof}
Some words and thoughts on that earth-shattering result.  
Oops, but as a clueless reader who skipped the proof, 
I have no idea where the post-proof discussion begins!
The equation environment seems ok, but sometimes the QED 
symbol shows, and sometimes it doesn't.  Right now it seems to show.
\begin{proof}
Since $A = B = C = D$, then it's probably also true that
\begin{equation}
A = E.
\end{equation}
\end{proof}
Now comment out the middle proof, and just run with this one.  
We're back to weirdness.
\begin{proof}
Hell, I bet
\begin{equation}
E = F = G = H...
\end{equation}
i.e., that the whole flippin' alphabet is equal.
\end{proof}

\end{document}

不幸的是，ntheorem当校样结束符号放错位置并需要重新运行 LaTeX 时，没有设置警告机制。请确保在文档最终成型时再次运行 LaTeX。