![Halmos 墓碑的代码是什么?](https://linux22.com/image/315817/Halmos%20%E5%A2%93%E7%A2%91%E7%9A%84%E4%BB%A3%E7%A0%81%E6%98%AF%E4%BB%80%E4%B9%88%EF%BC%9F.png)
我引用了 Halmos 的一段话:“符号▐ 贯穿始终...”。Halmos 墓碑的 tex-code 是什么?需要什么包?
答案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}
答案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}