Adicionei um símbolo de diamante ao final do meu teorema (e de outros) ambientes:
No entanto, quando uso qualquer exibição matemática no final do teorema, o diamante fica muito baixo:
Existe alguma maneira de levantar o diamante,automaticamenteentão está alinhado (ou quase alinhado) com o final da expressão matemática? Algo assim (eu usei \tag*{\diamond}):
\documentclass[letterpaper,11pt]{book}
\usepackage[english]{babel}
\usepackage[T1]{fontenc}
\usepackage{amsmath}
\usepackage{dsfont}
%im using this font (in case it is important)
\usepackage{tgbonum}
\newcommand\hmmax{0}
\newcommand\bmmax{0}
\usepackage{helvet}
\renewcommand{\familydefault}{\sfdefault}
%using the package amsthm to define theorems lemmas, corolaries etc.
\usepackage{amsthm}
\newtheorem{thrm1}{Theorem}[section]
\newtheorem{remark1}[thrm1]{Remark}
\newtheorem{prop1}[thrm1]{Proposition}
%this new commands let me end every statment of a theorem, remark or proposition with any symbol, in this case i'm using "$\diamond$"
\newcommand{\thmsymbol}{$\diamond$}
\newenvironment{thrm}{\begin{thrm1}%
\renewcommand{\qedsymbol}{\thmsymbol}\pushQED{\qed}}%
{\popQED\end{thrm1}}
\newenvironment{remark}{\begin{remark1}%
\renewcommand{\qedsymbol}{\thmsymbol}\pushQED{\qed}}%
{\popQED\end{remark1}}
\newenvironment{prop}{\begin{prop1}%
\renewcommand{\qedsymbol}{\thmsymbol}\pushQED{\qed}}%
{\popQED\end{prop1}}
\begin{document}
\section*{So, my problem is the following.}
\begin{thrm} Every end of a theorem, proposition, remark etc, is marked with the symbol ``$\diamond$''.
\end{thrm}
\begin{remark}
As you can see, the diamond symbol is positioned immediately at the end of the sentence. I mean, it is just right here $\rightarrow\rightarrow\rightarrow\rightarrow\rightarrow$
\end{remark}
\section*{My problem is when I use math mode}
\begin{prop} When I use math mode, the position of the $\diamond$ is too low
$$\int_0^1 x \, dx = \frac{1}{2} \quad \text{i mean, it goes waaaay down: } \rightarrow\rightarrow\rightarrow\rightarrow\rightarrow\rightarrow\rightarrow \searrow $$
\end{prop}
My question is: \textbf{is there some way to get the diamond up, automatically?} aligned (or almost aligned) with the end of the math expression, something like this:
\begin{prop1} Here is Euler's formula
\begin{align*}
e^{ix} = \cos (x) + i \sin (x) \quad\quad \forall x \in \mathds{R} \tag*{$\diamond$}
\end{align*}
\end{prop1}
And I can continue without any problem, instead of dealing with:
\begin{prop} Here is Euler's formula
\begin{align*}
e^{ix} = \cos (x) + i \sin (x) \quad\quad \forall x \in \mathds{R}
\end{align*}
\end{prop}
\noindent Too much space between the math expression and the diamond symbol!
\end{document}
Responder1
Você deseja \qedhereos casos em que o símbolo QED deve aparecer em uma exibição matemática ou no final de uma lista ( enumerateou itemize).
No entanto, vocênão devouso $$: vejaPor que \[... \] é preferível a $$... $$?. Aqui não é apenas “preferível”, écrucial. Qualquer amsmathambiente de exibição padrão aceita arquivos \qedhere.
\documentclass[letterpaper,11pt]{book}
\usepackage{amsmath}
\usepackage{amsthm}
\newtheorem{thrm1}{Theorem}[section]
\newtheorem{remark1}[thrm1]{Remark}
\newtheorem{prop1}[thrm1]{Proposition}
\newcommand{\thmsymbol}{$\diamond$}
\newenvironment{thrm}{\begin{thrm1}%
\renewcommand{\qedsymbol}{\thmsymbol}\pushQED{\qed}}%
{\popQED\end{thrm1}}
\newenvironment{remark}{\begin{remark1}%
\renewcommand{\qedsymbol}{\thmsymbol}\pushQED{\qed}}%
{\popQED\end{remark1}}
\newenvironment{prop}{\begin{prop1}%
\renewcommand{\qedsymbol}{\thmsymbol}\pushQED{\qed}}%
{\popQED\end{prop1}}
\begin{document}
\section*{So, my problem is the following.}
\begin{thrm}
Every end of a theorem, proposition, remark etc, is marked with the symbol ``$\diamond$''.
\end{thrm}
\begin{remark}
As you can see, the diamond symbol is positioned immediately at the end of the sentence.
I mean, it is just right here $\rightarrow\rightarrow\rightarrow\rightarrow\rightarrow$
\end{remark}
\section*{My problem is when I use math mode}
\begin{prop}
When I use math mode correctly, the position of the $\diamond$ is perfect
\[
\int_0^1 x \, dx = \frac{1}{2} \qedhere
\]
\end{prop}
\end{document}
Deixei apenas as partes relevantes do documento.
