view release on metacpan or  search on metacpan

t/theorem/ntheorem.tex  view on Meta::CPAN

  \end{array}\]
\end{Lemma}
\begin{Lemma}[Equation]
For \verb|equation|s, we decided to put the endmark after the equation
number, which is vertically centered.
Currently, we do not know, how to get the equation number centered and
the endmark at the bottom (one has to know the internal height of the
math material) ... If anyone knows, please inform us.
\begin{equation}
 \int_{\gamma} f(z)\, dz := \int_a^b f(\gamma (t)) \gamma'(t) \, dt
\end{equation}
\end{Lemma}

With the |break|-theoremstyles, if the environment is labeled and 
written as
\begin{Lemma}[Breakstyle]\label{breakstyle}%
From the predefined styles, this is exactly the case for the break-styles.
That's no bug, it's \LaTeX-immanent.

The example goes on with an \verb|eqnarray|:
\begin{eqnarray}
f(z) &=&
   \frac{1}{2\pi i}
   \int \limits_{\partial D} \frac{f(\zeta)}{\zeta-z} d\zeta \\
&= &
   \frac{1}{2\pi}
   \int \limits_0^{2\pi}
      f(z_0 + re^{it}) dt
\end{eqnarray}
\end{Lemma}

\begin{Proof}[of nothing]
\begin{eqnarray*}
f(z) &=&
   \frac{1}{2\pi i}
   \int \limits_{\partial D} \frac{f(\zeta)}{\zeta-z} d\zeta \\
&= &
   \frac{1}{2\pi}
   \int \limits_0^{2\pi}
      f(z_0 + re^{it}) dt
\end{eqnarray*}
\end{Proof}
That's it (the end of the Theorem).
\end{Theorem}


If there are some environments in the same thm-environment,
the last one gets the endmark:
\begin{Definition}[With a list]
\begin{equation}
 \int_{\gamma} f(z)\, dz := \int_a^b f(\gamma (t)) \gamma'(t) \, dt
\end{equation}
\begin{itemize}
\item you've seen, how it works for text and
\item math environments,
\item and it works for lists.
\end{itemize}
\end{Definition}

\begin{Corollary}[Q.E.D.]
And here is a trivial corollary, which is ended by
\qedsymbol{q.e.d}\qed
\end{Corollary}

\begin{Example}
\[ f^{(n)}(z) =
   \frac{n!}{2\pi i} \int \limits _{\partial D}
            \frac{f(\zeta)}{(\zeta-z)^{n+1}} d\zeta \]
If there is some text after an environment, the endmark is put
after the text.
\end{Example}


\begin{Example}[Using |verbatim|]
\begin{verbatim}
And, it also works for verbatim
... when the end{verbatim} is in the
same line as the text ends. \end{verbatim}
\end{Example}

There must be no empty line in the input before the end
(since then, the end mark is ignored) \\
\begin{Theorem}\label{ex-empty-line}
some text ... but no end mark

\end{Theorem}


Now, there is a corollary which should appear with a different
name in the list of corollaries:
\begin{Corollary*}[title in text]\label{otherlabel}\ignorespaces
let's do something weird:
\begin{center}
   It also works in the \\
   center \\
   environment.  
\end{center}
\end{Corollary*}
\addtheoremline{Corollary}{title in list}

\begin{Theorem}[Quote]
\begin{quote}
In quote environments, the text is normally indented from left 
and right by the same space. The endmark is not indented from the 
right margin, i.e., it is typeset to the right margin of the
surrounding text.
\end{quote}
\end{Theorem}

Here is an example for turning off the endmark automatics and
manual handling:
\begin{Theorem}[Manual End Mark]\label{somelabel}
a line of text with a manually set endmark \hfill\TheoremSymbol \\
some more text, but no automatic endmark set. \NoEndMark
\end{Theorem}
Also, one should note, that |\hfill| is inserted to set
the endmark at the right margin.

\begin{Example}[Quickie] It also works for short one's. 
\end{Example}

If you are tired of the greek numbers and the indentation for lemmata ... 
you can redefine it:
\theoremstyle{changebreak}
\theoremheaderfont{\normalfont\bfseries}\theorembodyfont{\slshape}
\theoremsymbol{\ensuremath{\heartsuit}}
\theoremsymbol{\ensuremath{\diamondsuit}}
\theoremseparator{:}
\theoremindent0cm
\theoremnumbering{arabic}
\renewtheorem{Lemma}{Lemma}
\begin{Lemma}
  another lemma, with arabic numbering ... note that the numbering
  continues.
\end{Lemma}

the optional argument (i.e.\ the `theorem'-name) can be accessed by
eg. \verb|\Theoremname|
\begin{Theorem}[somename]
Obviously, we are in Theorem~\Theoremname.
\end{Theorem}

Now, we define an environment |KappaTheorem| which uses the same 
style parameters as Theorems and is numbered together with
Corollaries (Theorems are also numbered with Corollaries).
Note that we define a complex header text and a complex end mark.
\theoremclass{Theorem}
\theoremsymbol{\ensuremath{a\atop b}}
\newtheorem{KappaTheorem}[Theorem]{\(\kappa\)-Theorem}