☰

验证环境中的实体黑匣子

tag-icon • tag-icon symbols theorems
验证环境中的实体黑匣子

我在用

\documentclass[12pt]{article}

\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsthm}

\begin{document}

\begin{proof}
A = B
\end{proof}

\end{document}

并且会在证明结束时自动添加一个空的方框。我想知道如何以自动方式添加实心黑框。

答案1

的文件阿姆斯特丹说：

QED 符号 □ 会自动附加在证明环境的末尾。要替换不同的证明结束符号，请使用\renewcommand重新定义命令\qedsymbol。

因此，可以按如下方式进行：

\renewcommand{\qedsymbol}{$\blacksquare$}

可以玩的 mwe：

\documentclass[a4paper,11pt]{article}
\usepackage{amsmath,amssymb,amsthm}

\renewcommand{\qedsymbol}{$\blacksquare$}

\begin{document}
\begin{proof}[Proof of the Main Theorem]
  \begin{equation*}
    G(t)=L\gamma!\,t^{-\gamma}+t^{-\delta}\eta(t) \qedhere
  \end{equation*}
\end{proof}
\end{document}

如果你正在寻找投影机，它是完全相同的：你必须重新定义模板qed symbol（几乎类似于我之前的回答 如何自定义（例如使其更粗）Beamer 中的端部防护符号？）。

阿姆韦：

\documentclass{beamer}

\begin{document}

\begin{frame}
\setbeamertemplate{qed symbol}{$\blacksquare$}
\begin{proof}
\begin{itemize}
\item First item.
\item Second item.
\item Third item.
\end{itemize}
\end{proof}
\end{frame}

\end{document}

请注意，在这种情况下，符号将采用当前使用的 Beamer 颜色主题的颜色。

答案2

如果你正在使用amsthm包（或其中一个ams文档类），那么使用的符号由命令给出\qedsymbol。它可以重新定义如下：

示例输出

\documentclass{article}

\usepackage{amsthm,amssymb}

\renewcommand{\qedsymbol}{\rule{0.7em}{0.7em}}

\begin{document}
\begin{proof}
  Clear.
\end{proof}
\end{document}

相关内容