Erweitern Sie die Anwendbarkeit von \qedhere auf Elemente der Theoremklasse

Question

Ziel:Ich möchte das Ende von Beispielen und Übungen mit einem Symbol markieren können, ähnlich wie $\qedsymbol$ das Ende von Beweisen markiert. Insbesondere möchte ich einen Befehl, der sich wie \qedhere für das Symbol meiner Wahl verhält.

Hintergrund:Dies ist in der Tat eine der möglichen Änderungen, die in deramsthm-Paketdokumentation: „die Anwendbarkeit von \qedhere auf Elemente der Theoremklasse sowie auf Beweise auszuweiten.“ Sie sagen, dass dies zwar sinnvoll ist, aber mehr Arbeit erfordert und im Wesentlichen auf Eis liegt.

Mein Versuch:

Ich habe versucht, eine Übungsumgebung mit eigenem Endsymbol wie folgt zu implementieren:

\documentclass{memoir}

\usepackage{amsthm}
\usepackage[varg,bigdelims]{newpxmath}
\usepackage{ifthen}

\newcounter{madesymbol}

\newtheorem{exc}{Exercise}
\newcounter{exc-counter}
\newenvironment{exercise}[1][]
{
    \begin{exc}[#1]~
    \def\mysymbol{$\lozenge$}
    \setcounter{madesymbol}{0}
    \def\tagsymbol{\stepcounter{madesymbol}\tag*{\mysymbol}}
}
{
    \ifthenelse{\equal{\value{madesymbol}}{0}}{\hspace*{\fill}\mysymbol}{}
    \end{exc}
    \stepcounter{exc-counter}
}

\begin{document}

\begin{exercise}
A function $f$...
\end{exercise}

\end{document}

Das fühlt sich sperrig an und ich suche nach einer besseren Lösung.

Probleme mit ntheorem: Ein Vorschlag, den ich gesehen habe, ist das ntheorem-Paket. Ich habe ntheorem ausprobiert, aber es scheint „alles“ zu ändern, z. B. verhält es sich überhaupt nicht wie amsthm (selbst mit geladener Option [amsthm]). Wenn mir jemand vorschlägt, dieses Paket zu verwenden, geben Sie bitte expliziten Code an, damit es sich so ähnlich wie amsthm verhält wie möglich.

Answer 1

Versuche dies:

\documentclass{article}
\usepackage{amsthm}
\begin{document}

\newtheorem{ex-inner}{Exercise}
\newenvironment{ex}{%
  %\def\qedsymbol{$\lozenge$}% Set the QED symbol. 
  \pushQED{\qed}%
  \begin{ex-inner}%
}{%
  \popQED
  \end{ex-inner}%
}


\begin{ex}
Here is an exercise.
\end{ex}

\begin{ex}
Hi!
\[x=y\qedhere\]
\end{ex}

\begin{proof}
Hi!
\[x=y\qedhere\]
\end{proof}
\end{document} 

Answer 2

Hier ist eine Demo, wie es mit gemacht werden kann ntheorem. Eine Besonderheit ist, dass die Platzierung automatisch erfolgt, selbst wenn die REMs in einer mehrzeiligen Anzeige enden (es können zwei Kompilierungen erforderlich sein, und am Ende der Umgebung darf keine leere Zeile stehen). Das QED-Symbol lässt sich ganz einfach anpassen:

\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{fourier}
\usepackage[svgnames, table]{xcolor}
\usepackage{mathtools, nccmath}

\usepackage[thmmarks, thref, amsmath]{ntheorem}
\theoremheaderfont{\itshape\bfseries}% default is \upshape\bfseries
\theoremseparator{. \textemdash}
\newtheorem{thm}{Theorem}[section]
\newtheorem{prop}{Proposition}[section]

\theoremseparator{.}
\theoremheaderfont{\upshape\bfseries}%
\theorembodyfont{\upshape\mdseries}% default is \itshape
\newtheorem{dfn}{Definition}[section]
\theoremsymbol{\raisebox{-0.1\height}{\color{IndianRed}$ \boldsymbol\diamondsuit $}}
\newtheorem{ex}{Exercise}

\theoremstyle{nonumberplain}
\theoremheaderfont{\scshape}
\theoremseparator{:}
\theoremsymbol{\ensuremath{\color{Gainsboro}\blacksquare}}

\newtheorem{proof}{Proof}
\begin{document}
\setcounter{section}{2}

\begin{thm}
Clangle-Wangles’ habits of life are domestic and superfluous, and their general demeanour pensive and pellucid.
\end{thm}

\begin{dfn}
  A \textbf{Snark} is a Boojum.
\end{dfn}

\begin{ex}
Here is an exercise.
\end{ex}

\begin{ex}
Hi!
\[ x=y \]
\end{ex}

\begin{proof}
There are two cases: \useshortskip
\begin{align*}
x & =y \\ u & =v
\end{align*}
\end{proof}

\end{document}