我正在 LaTeX 文件中编写一个相当长的证明,我想创建一个“声明”环境来放入该证明中。有人能帮我理解如何做到这一点吗,或者至少将我重定向到一些手册或其他有解释的资源吗?
我想要的正是两种环境:
声明:与定理类似,但可能不是得到宣称(粗体),仅加下划线。
claimproof:类似于 proof 环境,但在末尾有一个黑框,以区分其末尾和定理完整证明的末尾。
答案1
需要amssymb
黑色方块。
\newenvironment{claim}[1]{\par\noindent\underline{Claim:}\space#1}{}
\newenvironment{claimproof}[1]{\par\noindent\underline{Proof:}\space#1}{\hfill $\blacksquare$}
您可以编辑并使用Claim's proof
例如或其他任何内容。此外,如果需要,还可以调整上方和下方的空间。
\begin{claim}
foo
\end{claim}
\begin{claimproof}
foo
\end{claimproof}
附言:按照@barbara beeton 的建议,为了避免在黑色方块前出现新行,请将最后一对替换{}
为
{\leavevmode\unskip\penalty9999 \hbox{}\nobreak\hfill\quad\hbox{$\blacksquare$}}