证明和下一个定义之间的奇怪空间

Question

我在包的一个proof环境和下一个环境之间发现了奇怪的垂直间距。definitionamsthm

例如，

\documentclass{article}
\usepackage{amsmath}
\usepackage{amsthm}
\newcommand{\inqed}[1]{\quad\ensuremath{#1}}
\begin{proof}
    See , page 226, theorem 5.8 .\inqed{\blacksquare}\phantom{\hspace{10cm}}\renewcommand{\qedsymbol}{}
\end{proof}

\begin{definition}
text
\end{definition}

生产

我知道该\phantom{\hspace{10cm}}命令会添加空格。但用 替换文本See , page 226, theorem 5.8 .只会text删除空格。这是为什么？

Answer 1

除了生产之外，还不清楚它还\phantom{\hspace{10cm}}能做什么

1. 一个满满的盒子
2. 标准\qed进入下一行

请注意，重新定义\qedsymbol为空不会禁用该机制；如果删除重新定义，您将获得以下清楚地解释该问题的输出。

如果确实需要，我建议通过定义noproof环境来简单地改变符号。

\documentclass{article}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsthm}

\newtheorem{definition}{Definition}
\newenvironment{noproof}
 {\renewcommand\qedsymbol{\ensuremath{\blacksquare}}\proof}
 {\endproof}

\begin{document}

\begin{noproof}
See page 226, theorem 5.8.
\end{noproof}

\begin{definition}
text
\end{definition}

\end{document}

最后说明：\phantom{\hspace{10cm}}只是一种复杂且低效的说法\hspace*{10cm}。