![在证明新环境定义中使用枚举环境的问题](https://linux22.com/image/262598/%E5%9C%A8%E8%AF%81%E6%98%8E%E6%96%B0%E7%8E%AF%E5%A2%83%E5%AE%9A%E4%B9%89%E4%B8%AD%E4%BD%BF%E7%94%A8%E6%9E%9A%E4%B8%BE%E7%8E%AF%E5%A2%83%E7%9A%84%E9%97%AE%E9%A2%98.png)
我想定义一个简单的环境来包含我的证明,实际上我只是想在最后放一个小方块。所以,我做了这个新的环境定义:
\newenvironment{Proof}{ \flushleft \textbf{PROOF}}{\rule{1ex}{1ex}}
当我使用此环境来包围简单文本时,我会在最后一个字符后立即得到一个小方块。问题是当我包围环境时,enumerate
它会添加一个新行并将小方块放在开头。在这种情况下,我的问题是我既不想要新行,也需要边距右端的方块。如果我这样考虑
\newenvironment{Proof}{ \flushleft \textbf{PROOF}}{\begin{flushright} \rule{1ex}{1ex} \end{flushright}}
然后总会添加一个新行。
答案1
amsthm
自动将一个框(一个开放的框,但可以重新定义)放在最后一行末尾的右侧proof
。如果证明以显示或列表结尾,则\qedhere
可以在该环境结束之前使用,将框移动到正确的行。
要在证明标题后的新行上开始枚举列表,请输入如下内容
\begin{proof}
\leavevmode
\begin{enumerate}
...
文档可通过以下方式获取texdoc amsthm
(如果您使用的是基于 tex live 的系统)或通过访问页面并点击“AMS 定理包用户指南”行。
重新定义 qed 盒子,
\renewcommand{\qedsymbol}{...}
更改主校样标题,
\renewcommand{\proofname}{Whatever}
(谢谢,egreg。)
对于一次性变体,只需利用可选参数:
\begin{proof}[Proof of the XYZ theorem]