☰

ams 证明内列表

tag-icon • tag-icon lists amsart
ams 证明内列表

我正在使用 amsart。当我将列表放入证明中（并使用列表的标记）时，它缩进的程度超过了应有的程度，这让我很恼火。这可能是因为证明环境是作为 trivlist 实现的，而子列表通常会得到更多的缩进。

但问题是我该怎么办？我不想重新实现证明环境……我可能无法获得完全相同的细节。

\documentclass{amsart}
\begin{document}

\begin{list}{Mark}{}
\item Hi
\end{list}

\begin{proof}\
\begin{list}{Mark}{}
\item Hi
\end{list}
\end{proof}

\end{document}

答案1

您可以重新定义\leftmargin长度：

\begin{proof}\mbox{}
\begin{list}{Mark}{\setlength\leftmargin{1.2em}}
\item Hi
\end{list}
\end{proof}

使用该enumitem包，您可以定义自己的自定义列表，该列表将在整个文档中保持一致的行为：

\documentclass{amsart}
\usepackage{enumitem}

\newlist{mylist}{enumerate}{5}
\setlist[mylist]{label=\arabic*}

\begin{document}

\begin{mylist}
  \item Hi
\end{mylist}

\begin{proof}\mbox{}
\begin{mylist}
  \item Hi
\end{mylist}
\end{proof}

\end{document}

在此处输入图片描述

答案2

使用时amsthm，如果希望列表从新行开始，请在\begin证明环境的命令后加上\leavevmode。

如果您想让列表与标题在同一行开始，则建议采用以下方法，调整标题和第一项之间的间距：

\begin{proof}[<optional modifier>]
\hangindent\leftmargini
\textup{(1)}\hskip\labelsep First item. Provide a long text
  to show what happens when there is more than one line.
\begin{enumerate}
\setcounter{enumi}{1}
\item Second
\end{enumerate}
\end{proof}

这也适用于任何定理类对象。

由于这基本上是一个临时解决方案，因此该主题已列入下次升级时要考虑的事项清单中。

相关内容