我怎样才能暂时将证明符号的末尾从 $\square$ 改为 $\triangle$？

Question

我想暂时将一个类似于 $\square$ 的证明符号的末尾改为 $\triangle$，即用于特定定理的特定证明的三角形符号，而对于论文中的其他定理，我仍然想使用 $\square$ 作为证明的末尾。

这可能吗？我该如何实现？

Answer 1

我假设amsthm。

\documentclass[twocolumn]{article}
\usepackage{amsthm}

\begin{document}

\begin{proof}
This ends with a square.
\end{proof}

\begin{proof}\renewcommand{\qedsymbol}{\ensuremath{\triangle}}
This ends with a triangle.
\end{proof}

\end{document}

我twocolumn只是用它来制作一张较小的图片。

您可能想要为此定义一个新的环境。

\documentclass[twocolumn]{article}
\usepackage{amsthm}

\newenvironment{varproof}
 {\renewcommand{\qedsymbol}{\ensuremath{\triangle}}\proof}
 {\endproof}

\begin{document}

\begin{proof}
This ends with a square.
\end{proof}

\begin{varproof}
This ends with a triangle.
\end{varproof}

\end{document}

Answer 2

我假设amsthm正在使用。这是针对特殊定理及其证明的单次出现情况的临时解决方案。

\documentclass{article}

\usepackage{amsthm}

\newtheorem{theorem}{Theorem}

\begin{document}

\begin{theorem}
\end{theorem}
\begin{proof}
\end{proof}

{
\renewcommand{\qedsymbol}{$\triangle$}
\begin{theorem}[Special]
\end{theorem}
\begin{proof}
  Its proof.
\end{proof}
\begin{proof}
  Another one: \[ a^2 + b^2 = c^2. \qedhere \]
\end{proof}
}

\begin{theorem}
\end{theorem}
\begin{proof}
\end{proof}

\end{document}