Re: Restating theorems?

I wrote:

Actually you can pass several optional arguments to
environments created by \newtheoremWithMacro.
....

Another noteworthy restriction is:

You can e.g., write

\newtheorem{foo}...
...
\begin{foo}
\begin{verbatim}
\TeX is funny.
\end{verbatim}
\end{foo}

But you cannot write

\newtheoremWithMacro{foo}...
...
\begin{foo}
\begin{verbatim}
\TeX is funny.
\end{verbatim}
\end{foo}

[That's not true - you can write it. But it won't compile
successfully:-) ]

This is because amslatex' \collect@body will read ahead and
tokenize the whole stuff before catcode-changes of verbatim-
environment get into effect.

If such functionality is needed, an approach could be putting
everything into a box...


Ulrich

.