使用包amsthm和thmtools，有没有办法让每个证明环境的可选参数以规定的方式设置样式 — — 比如说无衬线和粗体（除了通常的斜体）？
这是为了匹配我在类似定理的环境头中使用的无衬线加粗体样式。
答案1
我的建议是添加
\usepackage{xpatch}
进而
\xpatchcmd{\proof}{\itshape}{\proofheadfont}{}{}
\newcommand{\proofheadfont}{<whatever>}
据我所知，使用类似的东西\proofheadfont来代替硬接线是该包\itshape的待办事项清单之一。amsthm
例如你可能想要
\newcommand{\proofheadfont}{\sffamily\bfseries\slshape}
答案2
有了ntheorem，你只需在序言中写下：
\usepackage[amsmath, thmmarks, thref]{ntheorem}
\theoremheaderfont{\sffamily\bfseries}
\theorembodyfont{\normalfont}
\theoremsymbol{\square}
\newtheorem{proof}{Proof}