Halmos 墓碑的代码是什么？

Question

我引用了 Halmos 的一段话：“符号▐ 贯穿始终...”。Halmos 墓碑的 tex-code 是什么？需要什么包？

Answer 1

也许\RectangleBold或者\Rectangle从bbding或者使用以下方法制作您自己的符号\rule（无需任何软件包）：

\documentclass{article}
\usepackage{amsthm}
\usepackage{bbding}

\newcommand\MyRectangle{\rule{.36em}{2ex}}

\renewcommand\qedsymbol{\RectangleBold}

\begin{document}

\begin{proof}
A test text.
\end{proof}

\renewcommand\qedsymbol{\Rectangle}

\begin{proof}
A test text.
\end{proof}

\renewcommand\qedsymbol{\MyRectangle}

\begin{proof}
A test text.
\end{proof}

\end{document}

Answer 2

支持的 Zapf Dingbats 中也有不同厚度的块pifont。与 不同bbding，即使使用默认的 TeX Live 安装（由于许可原因，不包括 的 type1 版本bbding），这些块也可以扩展。

\documentclass{article}
\usepackage{amsthm,pifont}

\begin{document}

  \ding{120} \ding{121} \ding{122} \ding{110}

\begin{proof}
  A proof. For control purposes.
\end{proof}
\renewcommand\qedsymbol{\ding{120}}
\begin{proof}
  A proof. Thinner.
\end{proof}
\renewcommand\qedsymbol{\ding{121}}
\begin{proof}
  A proof. Thin.
\end{proof}
\renewcommand\qedsymbol{\ding{122}}
\begin{proof}
  A proof. Normal.
\end{proof}
\renewcommand\qedsymbol{\ding{110}}
\begin{proof}
  A proof. Square.
\end{proof}

\end{document}