我可以在 amsthm 中将 Proof 后的点改为冒号吗？

Question

我想Proof:在证明前面写上“Proof.我该如何实现这一目标？”

以下是我现在设置的 MWE：

\documentclass{article}
\usepackage{amsthm}
\begin{document}
\begin{proof}
\end{proof}
\end{document}

Answer 1

amsthm用来\@addpunct{.}放置句点。你可以用以下方法修补\proof使用xpatch以替换点:

\documentclass{article}
\usepackage{amsthm}
\usepackage{xpatch}
\makeatletter
\xpatchcmd{\proof}{\@addpunct{.}}{\@addpunct{:}}{}{}
\makeatother
\begin{document}
\begin{proof}
\end{proof}
\end{document}

如果你想要直立:使用这个：

\makeatletter
\xpatchcmd{\proof}{\@addpunct{.}}{\normalfont\,\@addpunct{:}}{}{}
\makeatother

Answer 2

为什么不使用\nopunct？这是官方的做法。

\documentclass{article}
\usepackage{amsthm}
\begin{document}
\begin{proof}[Proof:\nopunct]
\end{proof}
\end{document}

Answer 3

来自文档的第 11 页。您可以使用

\documentclass[a4paper,12pt]{article}
\usepackage{amsmath,amsthm}
\makeatletter
\renewenvironment{proof}[1][\proofname]{\par
\pushQED{\qed}%
\normalfont \topsep6\p@\@plus6\p@\relax
\trivlist
\item\relax
{\itshape
#1\@addpunct{:}}\hspace\labelsep\ignorespaces
}{%
\popQED\endtrivlist\@endpefalse
}
\makeatother
\begin{document}
\begin{proof}
Here comes the proof.
\end{proof}
\end{document}