使用方程式结束时，类似 qed 的符号对齐不正确

Question

我使用此代码来定义一个符号，将其放在文件中（数学）示例的末尾。

\newcommand\xqed[1]{%
\leavevmode\unskip\penalty9999 \hbox{}\nobreak\hfill
\quad\hbox{#1}}
\newcommand\demo{\xqed{$\bigcirc$}}

我的使用方法如下：

\begin{defn}The spectrum is:
\begin{equation*}
\sigma(T) = \{ \lambda : (T-\lambda I)^{-1} \text{ does not exist} \}.
\end{equation*}
\demo
\end{defn}

看起来像这样：

我希望圆圈符号与等式在同一行。我该怎么做？如果我把放在\demo前面的行上\end{equation*}，看起来会更糟；它几乎只在等式右侧有两个空格。

Answer 1

查看提供此问题的答案的包 amsthm 和 ntheorem。例如，前一个包定义了一个proof环境和\qedhere适合您需要的命令。

在这些包中，定义定理的过程也使用了“定理风格”的概念：

% default style
\newtheorem{thm}{Theorem} % defines a "thm" counter; 
\newtheorem{cor}[thm]{Corollary} % numbering in common with thm
\theoremstyle{definition}
\newtheorem{defin}[thm]{Definition}

Answer 2

我做了两个定义：

\def\qeds{\qed\par\medskip}

\def\qedsf{\vskip-6mm\qeds}

我在文本证明结束时使用第一个，在公式证明结束时使用第二个。

它的效果更好，但并不完美。