如何在 Overleaf 上书写校对结束的方框符号

Question

我正在使用 Overleaf 打印一篇涉及不同结果证明的论文，我想在证明的末尾写上方框，表示 QED，即证明结束。我该怎么做？谢谢。

我在用

\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{amssymb}

Answer 1

正如 @egreg 在评论中所说，您可以使用环境prooffrom amsthm，它将自动在证明末尾放置 QED 符号。您还可以使用命令\qedsymbol（也是 from amsthm）将 QED 符号放置在任何位置。以下是两个选项的示例，其中包含您提供的序言。

\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsthm}

\begin{document}

\begin{proof}
A proof written in the \verb|proof| environment. The QED symbol will appear at the end. 
\end{proof}

A \qedsymbol{} outside of a \verb|proof| environment. 

\end{document} 

事实上，amsthm使用命令\qedsymbol将符号放在环境的末尾proof，所以如果你想使用其他东西作为 QED 符号（例如黑色的正方形（square），您可以简单地重新定义\qedsymbol，proof环境就会使用它。