ntheorem.pdf. - Mirrors.med.harvard.edu

• \@endparenv: does \addvspace\@topsepadd.
In ntheorem, \〈env〉is used instead of a common \@begintheorem (defined
by \newtheorem in Lines 711–713, 714–716) that call \mkheader@〈env〉.
The actual definition of \mkheader@〈env〉 is done in \@othm, \@xnthm, or
\@ynthmas\mkheader@〈env〉==\setparms@〈env〉\@thm{...}{...}{...}.
Amongst this, \@thm{...}{...}{...}, whose code is given next,
• generatestheactualoutputofthetheoremheader(via\@xthm/\@begintheorem
or\@ythm/\@opargbegintheorem)where\@begintheoremand\@opargbegintheorem
are redefined by ntheorem:
• \@begintheoremand\@opargbegintheoremdonot containthe\trivlist
command, but only set the \item (internally \@item that adds space
\@topsep-\parskip).
• the \trivlist command itself is contained in \@thm, recall that as described
above, it is not concerned with skips at all.
⇒ \@thm has to set \@topsep := 〈value〉+\parskip for the space above the
theorem.
• \end〈env〉is defined in \@othm, \@xnthm, or \@ynthm as \@endtheorem
which is defined in Lines 95 (thmmarks active) and 858 (thmmarks off).
• \@endtheorem with thmmarks on calls ntheorem’s \@endtrivlist (Line
11) which calls \@endparenv.
• \@endtheorem with thmmarks off calls the original \endtrivlist which
calls the original \@endtrivlist which calls \@endparenv.
⇒ \@topsepadd is used for the vertical space after the theorem as usual.
Handling Instances of Theorem-Environments.
\@thm \@thm is called by \@〈env〉 (which is defined by \@othm/\@xnthm/\@ynthm).
816 \gdef\@thm#1#2#3{%
817 \if@thmmarks
818 \stepcounter{end\InTheoType ctr}%
819 \fi
820 \renewcommand{\InTheoType}{#1}%
821 \if@thmmarks
822 \stepcounter{curr#1ctr}%
823 \setcounter{end#1ctr}{0}%
824 \fi
825 \refstepcounter{#2}%
826 \theorem@prework
827 \trivlist % latex’s \trivlist, calling latex’s \@trivlist unchanged
828 \ifuse@newframeskips % cf. latex.ltx for topsepadd: \@trivlist
829 \ifthm@inframe
830 \thm@topsep\theoreminframepreskipamount
831 \thm@topsepadd\theoreminframepostskipamount
65