在 ntheorem 证明中替换(并打印)\qedsymbol

发布于 2025-01-12 17:37:58 字数 1044 浏览 0 评论 0原文

我正在尝试使用 ntheorem 来完成证明,但遇到一些问题,因为无法在枚举组之后替换 \qedsymbol 以及在align* 组末尾,未打印 \qed 符号。

\documentclass[a4paper,11pt]{book}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{lmodern}
\usepackage[english]{babel}
\usepackage{amssymb} % Conjunto de símbolos matemáticos
%\usepackage{amsthm}  % Formato para enunciados y demostraciones
\usepackage{amsmath}
\usepackage{enumitem}
%

\usepackage[amsthm,thmmarks]{ntheorem}
%\usepackage[standard]{ntheorem}
%
\qedsymbol{$\blacksquare$}
\renewcommand\qedsymbol{$\blacksquare$}
%
\begin{document}


\chapter*{Preface}
$\blacksquare$ \\
Lorem ipsum dolor sit amet, consectetur adipiscing elit
\begin{proof}
\begin{enumerate}
    \item item 1
    \item item 2
    \item item 3
\end{enumerate}
\end{proof}
%
%
\begin{proof}
\begin{align*}
    x+y &= z + k\\
    &= z + 2k
\end{align*}
\end{proof}
\end{document}

... 结果已 输入图片此处描述

I'm trying to use ntheorem to complete proofs, but having some problems because it has been not possible to replace the \qedsymbol after an enumerate group and at the end of an align* group, the \qed symbol has been not printed.

\documentclass[a4paper,11pt]{book}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{lmodern}
\usepackage[english]{babel}
\usepackage{amssymb} % Conjunto de símbolos matemáticos
%\usepackage{amsthm}  % Formato para enunciados y demostraciones
\usepackage{amsmath}
\usepackage{enumitem}
%

\usepackage[amsthm,thmmarks]{ntheorem}
%\usepackage[standard]{ntheorem}
%
\qedsymbol{$\blacksquare$}
\renewcommand\qedsymbol{$\blacksquare$}
%
\begin{document}


\chapter*{Preface}
$\blacksquare$ \\
Lorem ipsum dolor sit amet, consectetur adipiscing elit
\begin{proof}
\begin{enumerate}
    \item item 1
    \item item 2
    \item item 3
\end{enumerate}
\end{proof}
%
%
\begin{proof}
\begin{align*}
    x+y &= z + k\\
    &= z + 2k
\end{align*}
\end{proof}
\end{document}

... Result has been
enter image description here

如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。

扫码二维码加入Web技术交流群

发布评论

需要 登录 才能够评论, 你可以免费 注册 一个本站的账号。

评论(1

流绪微梦 2025-01-19 17:37:58
  • 您可以使用 \gdef\proofSymbol{\ensuremath{\blacksquare}} 更改 qed 符号

  • 对于 align 环境:您缺少 amsmath ntheorem 包的 选项

\documentclass[a4paper,11pt]{book}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{lmodern}
\usepackage[english]{babel}
\usepackage{amssymb} % Conjunto de símbolos matemáticos
%%\usepackage{amsthm}  % Formato para enunciados y demostraciones
\usepackage{amsmath}
\usepackage{enumitem}
%%

\usepackage[amsthm,thmmarks,amsmath]{ntheorem}

\gdef\proofSymbol{\ensuremath{\blacksquare}}

\begin{document}


\chapter*{Preface}
$\blacksquare$ \\
Lorem ipsum dolor sit amet, consectetur adipiscing elit
\begin{proof}
\begin{enumerate}
    \item item 1
    \item item 2
    \item item 3
\end{enumerate}
\end{proof}
%
%
\begin{proof}
\begin{align*}
    x+y &= z + k\\
    &= z + 2k
\end{align*}
\end{proof}
\end{document}

在此处输入图像描述

  • You can change the qed symbol with \gdef\proofSymbol{\ensuremath{\blacksquare}}

  • as for the align environment: you are missing the amsmath option for the ntheorem package

\documentclass[a4paper,11pt]{book}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{lmodern}
\usepackage[english]{babel}
\usepackage{amssymb} % Conjunto de símbolos matemáticos
%%\usepackage{amsthm}  % Formato para enunciados y demostraciones
\usepackage{amsmath}
\usepackage{enumitem}
%%

\usepackage[amsthm,thmmarks,amsmath]{ntheorem}

\gdef\proofSymbol{\ensuremath{\blacksquare}}

\begin{document}


\chapter*{Preface}
$\blacksquare$ \\
Lorem ipsum dolor sit amet, consectetur adipiscing elit
\begin{proof}
\begin{enumerate}
    \item item 1
    \item item 2
    \item item 3
\end{enumerate}
\end{proof}
%
%
\begin{proof}
\begin{align*}
    x+y &= z + k\\
    &= z + 2k
\end{align*}
\end{proof}
\end{document}

enter image description here

~没有更多了~
我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
原文