PDA

Archiv verlassen und diese Seite im Standarddesign anzeigen : qed Symbol in Theorem-Umgebung



InsideMan
19-12-2012, 17:13
Hallo zusammen,

ich habe ein kleines Problem mit folgendem Code:



\documentclass{amsbook}
\usepackage[utf8]{inputenc}

\newtheoremstyle{ToBeProved}
{.5\baselineskip}
{.5\baselineskip}
{\itshape}
{}
{\bfseries}
{.}
{0.5em}
{}

\theoremstyle{ToBeProved}
\newtheorem{thm}{Theorem}

\begin{document}

\begin{thm}
Text \ldots
\begin{equation*}
\mathcal{H}_{m}^{} = \lim_{n \to \infty}
\frac{\log(C_{m}^{}(n))}{\ell_{n}^{}}
\hfill\qed
\end{equation*}
\end{thm}

\end{document}


Das qed Symbol erscheint in der Formelzeile direkt im Anschluss an die Formel. Ich haette es aber gerne, dass das Symbol bis an den rechten Rand verschoben wird. In einer proof-Umgebung erreicht man dies zB. mit \qedhere, was hier aber nur dazu fuehrt, dass das Symbol verschwindet. Ein vorangestelltes \hfill (wie in obigem Code) bewirkt leider gar nichts. Wie erreiche ich die Verschiebung nach rechts?

Beste Gruesse,
InsideMan

klops
20-12-2012, 08:13
Meinst Du vielleicht:
\documentclass{amsbook}
\usepackage[utf8]{inputenc}

\newtheoremstyle{ToBeProved}
{.5\baselineskip}
{.5\baselineskip}
{\itshape}
{}
{\bfseries}
{.}
{0.5em}
{}

\theoremstyle{ToBeProved}
\newtheorem{thm}{Theorem}

\begin{document}

\begin{thm}
Text \ldots
\begin{equation*}
\mathcal{H}_{m}^{} = \lim_{n \to \infty}
\frac{\log(C_{m}^{}(n))}{\ell_{n}^{}}
\end{equation*}
\qed
\end{thm}

\end{document}

InsideMan
20-12-2012, 10:29
Hallo klops,

leider nicht, denn hier ist das qed Symbol nicht in der \equation* Zeile. Genau das liefert zum Beispiel das \qedhere Makro in der proof Umgebung :-(

Beste Gruesse,
InsideMan

u_fischer
20-12-2012, 10:39
\documentclass[reqno]{amsbook} %reqno für tags rechts.
\usepackage[utf8]{inputenc}

\newtheoremstyle{ToBeProved}
{.5\baselineskip}
{.5\baselineskip}
{\itshape}
{}
{\bfseries}
{.}
{0.5em}
{}

\theoremstyle{ToBeProved}
\newtheorem{thm}{Theorem}

\begin{document}

\begin{thm}
Text \ldots
\begin{equation*}
\mathcal{H}_{m}^{} = \lim_{n \to \infty}
\frac{\log(C_{m}^{}(n))}{\ell_{n}^{}}
\tag*{\qed}
\end{equation*}
\end{thm}

\end{document}

InsideMan
20-12-2012, 11:05
Aber klar, darueber habe ich gar nicht nachgedacht! Vielen Dank Ulrike!

Beste Gruesse,
InsideMan