qed Symbol in Theorem-Umgebung

[InsideMan]

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]

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]

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]

\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]

Aber klar, darueber habe ich gar nicht nachgedacht! Vielen Dank Ulrike!

Beste Gruesse,
InsideMan