矩形或正方形。在中，使用证明环境\begin{proof} ... \end{proof}可自动在证明的结尾加上该符号。同时也可通过\qedsymbol或\qed命令显示此符号。它有时又被称为哈尔莫斯符（），以最早将这一符号用于数学的数学家保罗·哈尔莫斯的名字命名。