新的示例环境，末尾带有符号

Question

是否有专门用于示例的标准格式环境？我正在写一篇关于线性代数的文档，采用通常的定义-定理-命题-示例结构。现在，当我插入一个示例时，我得到的是类似以下内容：

这是我截取的屏幕截图。以下是 MWE：

\documentclass[11pt,a4paper,openany]{report}
\usepackage{amssymb,amsmath,mathrsfs}
\usepackage[dutch]{babel}
\usepackage{lmodern}
\usepackage{mdframed}
\usepackage{bm}
\usepackage[many]{tcolorbox}
\usepackage{systeme,mathtools}
\makeatletter
\renewcommand*\env@matrix[1][*\c@MaxMatrixCols c]{%
   \hskip -\arraycolsep
   \let\@ifnextchar\new@ifnextchar
   \array{#1}}
\makeatother
\usepackage{lipsum}
\usepackage{relsize}
\let\conjugatet\overline
\DeclareMathOperator{\Ima}{Im}
\DeclareMathOperator{\Span}{span}
\newcommand\md{\ }
\renewcommand{\qedsymbol}{$\blacksquare$}
\pagestyle{plain}
\renewcommand\baselinestretch{1.0}
\usepackage[nodisplayskipstretch]{setspace}
\setstretch{1.5}
\setlength{\abovedisplayskip}{0pt}
\setlength{\belowdisplayskip}{0pt}
\setlength{\abovedisplayshortskip}{0pt}
\setlength{\belowdisplayshortskip}{0pt}
\theoremstyle{definition}
\newmdtheoremenv[linewidth=1.0pt,linecolor=red]{Definition}{Definitie}
\numberwithin{Definition}{section}
\newmdtheoremenv[linewidth=1.0pt,linecolor=black]{Theorem}{Theorema}
\numberwithin{Theorem}{section}
\newtheorem{lemma}{Lemma}
\numberwithin{lemma}{section}
\newtheorem{proposition}{Propositie}
\numberwithin{proposition}{section}
\newtheorem{corollary}{Corollarium}
\numberwithin{corollary}{section}
\newtheorem{exmp}{Voorbeeld}[section]
\newcommand{\prooffont}{\scshape}
\usepackage{xpatch}
\tracingpatches
\xpatchcmd{\proof}{\itshape}{\prooffont}{}{}

\usepackage{marvosym}    %Here starts the part you said I should add.
\usepackage{etoolbox}
\usepackage[amsmath, thref, hyperref, thmmarks]{ntheorem}
\theorembodyfont{\upshape}
\theoremseparator{.}
\theoremsymbol{\Large\color{Plum4}\Bat}
\newtheorem{exmp}{Voorbeeld}[section]
\AtBeginEnvironment{exmp}{\AtBeginEnvironment{itemize}{\leavevmode}      \AtBeginEnvironment{enumerate}{\leavevmode}}

“Voorbeeld” 在荷兰语中是“示例”的意思。我遇到的问题是，我希望我的文本直接与“示例”标题对齐。在这种情况下，我使用了“itemize”命令，但我希望它适用于所有情况。这就是我希望更改的内容：

例 4.2.1。（---文字在此----）

我希望文本位于“示例”标题下，并在末尾用某个符号（除证明的墓碑之外的其他符号）结束，以便读者知道示例到此结束。有什么方法可以做到这一点吗？

这是另一个截图：

正如所见，我的文本在标题之后立即开始，这不是我想要的。

在此先感谢您的帮助。

编辑：这就是我所说的可能降低质量产出的意思。我输入了以下代码：

\begin{方程} \label{2} [v]_{\gamma} = (b_1, b_2, \ldots, b_n)^T。 \end{方程}

但我收到的是这样的：

请注意，伽马浮点数没有附加到我的坐标向量。

Answer 1

您可以使用ntheorem包（而不是amsthm）和轻松完成此操作etoolbox。我还加载了enumitem包以改进此类上下文中 itemize 环境的布局。以下是可能的代码：

\documentclass[11pt,a4paper,openany]{report}
\usepackage[utf8]{inputenc}
\usepackage{amssymb, mathrsfs}
\usepackage[dutch]{babel}
\usepackage{lmodern}
\usepackage{mdframed}
\usepackage{bm}
\usepackage[many]{tcolorbox}
\usepackage{systeme, mathtools}
\makeatletter
\renewcommand*\env@matrix[1][*\c@MaxMatrixCols c]{%
\hskip -\arraycolsep
\let\@ifnextchar\new@ifnextchar
\array{#1}}
\makeatother
\usepackage{lipsum}
\usepackage{relsize}
\let\conjugatet\overline
\DeclareMathOperator{\Ima}{Im}
\DeclareMathOperator{\Span}{span}
\newcommand\md{\ }
%\renewcommand{\qedsymbol}{$\blacksquare$}
\pagestyle{plain}
\renewcommand\baselinestretch{1.0}
\usepackage[nodisplayskipstretch]{setspace}
\setstretch{1.5}
\setlength{\abovedisplayskip}{0pt}
\setlength{\belowdisplayskip}{0pt}
\setlength{\abovedisplayshortskip}{0pt}
\setlength{\belowdisplayshortskip}{0pt}
\usepackage[amsmath, thref, hyperref, thmmarks]{ntheorem}
\renewcommand{\qedsymbol}{blacksquare}
\theoremstyle{definition}
\theoremseparator{.}
\newmdtheoremenv[linewidth=1.0pt,linecolor=red]{Definition}{Definitie}[section]
\newmdtheoremenv[linewidth=1.0pt,linecolor=black]{Theorem}{Theorema}[section]
\theoremheaderfont{\bfseries\upshape}
\theorembodyfont{\itshape}
\newtheorem{lemma}{Lemma}[section]
\newtheorem{proposition}{Propositie}[section]
\newtheorem{corollary}{Corollarium}[section]
\theoremstyle{break}
\theorembodyfont{\upshape}
\theoremsymbol{\ensuremath{\clubsuit}}
\newtheorem{exmp}{Voorbeeld}[section]

\theoremstyle{nonumberplain}
\theoremheaderfont{\scshape}
\theoremsymbol{\ensuremath{\blacksquare}}
\newtheorem{proof}{Bewijs}

\usepackage{enumitem} 
\usepackage{etoolbox}
\AtBeginEnvironment{exmp}{\setlist[itemize, 1]{wide=0em, leftmargin=1.25em, labelwidth=0.7em}}

\begin{document}
\setcounter{chapter}{1}
\setcounter{section}{1}
\setcounter{exmp}{1}


\begin{exmp}
  \begin{itemize}
    \item $ (\mathbb R,\mathbb C, + )$ is een reële (en dus geen complexe) vectorruimte. Nemen wij immers een willekeurige scalar $ λ ∈ \mathbb R$ en vermenigvuldigen we een willekeurige vector $ (a + bi) ∈ \mathbb C$ met deze scalar, dan behoort het product $ (λ a + λ bi) $ tot $ \mathbb C$. In dit geval hebben wij dus $ \mathbb R × \mathbb C\to \mathbb C~~\colon (λ,a + bi) ↦ (λ a + λ bi)$.
    \item $ (\mathbb C, \mathbb R, +) $ is geen complexe vectorruimte, $ (\mathbb C, \mathbb C, + ) $ echter wel.
  \begin{equation*} \label{2}{} [v]_{\gamma} =(b_1, b_2, \ldots, b_n)^T.\end{equation*}
  \end{itemize}
\end{exmp}

\begin{Definition}
  A fully understandable definition.
\end{Definition}
\begin{lemma}
  A test lemma.
\end{lemma}

\begin{proof}
  A proof for fun!

  End of proof:
\begin{align*}
    a & =b\\
    a + c & =b + d
\end{align*}
\end{proof}


\end{document}