定义和证明环境中的斜体不能同时工作

定义和证明环境中的斜体不能同时工作

我正在写论文,并使用 amsmath 包作为定理/引理/定义/证明环境。我无法弄清楚如何同时以纯文本形式显示“定义”环境,然后手动将定义斜体化并使证明环境正常工作。我能够按照 overleaf 网站上的信息让两者独立工作:

https://www.overleaf.com/learn/latex/Theorems_and_proofs

为了使证明环境正常工作,我的序言看起来像下面的代码:

\usepackage{amsmath}
\newtheorem{thm}{Theorem}[section]
\newtheorem{prop}[thm]{Proposition}
\newtheorem{lemma}[thm]{Lemma}
\newtheorem{ex}[thm]{Example}
\theoremstyle{definition}
\newtheorem{dfn}[thm]{Definition}

举例来说,请考虑以下代码片段:

\begin{dfn}
A \textit{group} is a set blah blah blah
\end{dfn}
\begin{proof}
does it work?
\end{proof}

使用上述序言的输出如下: 在此处输入图片描述

如您所见,定义完全是斜体。直到我添加 \usepackage{amsthm} 后,它才看起来如我所愿,如下所示:

\usepackage{amsmath}
\usepackage{amsthm}
\newtheorem{thm}{Theorem}[section]
\newtheorem{prop}[thm]{Proposition}
\newtheorem{lemma}[thm]{Lemma}
\newtheorem{ex}[thm]{Example}
\theoremstyle{definition}
\newtheorem{dfn}[thm]{Definition}

加载 amsthm 之后的相同代码如下所示: 在此处输入图片描述

当我使用第二个示例作为序言编译文档时,我的定义看起来符合我的要求,但证明环境不再正常工作。单词“证明”不再以粗体显示,标准方形 QED 图标也未显示。我的文档中到处都是“出现问题 - 可能缺少 \item”的错误信息。

有人知道如何同时解决这两个问题吗?这不是我的全部前言,如果需要,我可以添加其余部分。另外,我没有直接在加载文档的文件中输入文本。我使用单独的文件introduction.tex文件,然后使用命令“\include{introduction}”。我不确定这是否重要,但我认为这有点相关。

编辑:我的 documentlcass 是大学独有的,因为所有格式和其他内容都是受监管的。可以在背面找到一个模板:

https://www.overleaf.com/latex/templates/purdue-university-thesis-template/rkjkbcgbcdck

答案1

该类puthesis已经proof以一种我无法用礼貌的词语来描述的方式定义了一个环境,即

\newsavebox{\proofbox}
\sbox{\proofbox}{\rule{7pt}{7pt}}
\newtheorem{Proof}{Proof}
\renewcommand{\theProof}{}
\newenvironment{proof}{\begin{Proof}\rm}{\hfill \usebox{\proofbox} \end{Proof}}

这里有什么问题?首先:\rm在撰写本文时,它已被弃用超过 25 年。其次:校样结束标记不能保证排版在行末。还有更多。

当然,如果你加载amsthm,你就会得到错误。

你可以这样做:

\documentclass[ece,dissertation]{puthesis}
\usepackage{amsmath}

\let\proof\relax\let\endproof\relax % use proof from amsthm
\usepackage{amsthm,xpatch}

\newtheorem{thm}{Theorem}[section]
\newtheorem{prop}[thm]{Proposition}
\newtheorem{lemma}[thm]{Lemma}
\newtheorem{ex}[thm]{Example}
\theoremstyle{definition}
\newtheorem{dfn}[thm]{Definition}

% tombstone like in puthesis
\renewcommand{\qedsymbol}{\rule{7pt}{7pt}}
% Proof in boldface like in puthesis
\xpatchcmd{\proof}{\itshape}{\bfseries}{}{}

\begin{document}

\begin{thm}
A theorem statement.
\end{thm}

\begin{proof}
Its proof.
\end{proof}

\begin{dfn}
A definition.
\end{dfn}

\end{document}

在此处输入图片描述

相关内容