自动为证明环境设置可选参数的样式吗？

Question

使用包amsthm和thmtools，有没有办法让每个证明环境的可选参数以规定的方式设置样式 — — 比如说无衬线和粗体（除了通常的斜体）？

这是为了匹配我在类似定理的环境头中使用的无衬线加粗体样式。

Answer 1

我的建议是添加

\usepackage{xpatch}

进而

\xpatchcmd{\proof}{\itshape}{\proofheadfont}{}{}
\newcommand{\proofheadfont}{<whatever>}

据我所知，使用类似的东西\proofheadfont来代替硬接线是该包\itshape的待办事项清单之一。amsthm

例如你可能想要

\newcommand{\proofheadfont}{\sffamily\bfseries\slshape}

Answer 2

有了ntheorem，你只需在序言中写下：

\usepackage[amsmath, thmmarks, thref]{ntheorem}

\theoremheaderfont{\sffamily\bfseries}
\theorembodyfont{\normalfont}
\theoremsymbol{\square}
\newtheorem{proof}{Proof}