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

\mark\env,
which is defined in the .aux file to be the end symbol are called.
The construction 〈cmd seq〉{...} in line 118 allows the handling of the
end symbol as an argument of 〈cmd seq〉 as needed for \endeqnarray.
Line 119: By \hskip-\rightmargin\hbox to 0cm{}, a negative hspace of
amount \rightmargin is added after the end symbol – thus, the symbol
is set as there were no right margin (this concerns, e.g., \quote environments).
(applied onlyif\rightmarginismorethan0–otherwisebugif preceding
line ends with hyphenation.)
Writing to .aux file. (copied from \def\label (ltxref.dtx))
121 \newskip\mysavskip
122 \gdef\@bbsphack{%
123 \ifvmode\else\mysavskip\lastskip
124 \unskip\fi}
125 %
126 \gdef\@eesphack{%
127 \ifdim\mysavskip>\z@
128 \vskip\mysavskip \else\fi}
Lines 122–124 and 125–127 are similar to \@bsphack and \@bsphack of latex.ltx.
They undo resp. redo the last skip.
Note that @bbsphack and @eesphack are also part of the thref option.
Change both if you change them.
\OrganizeTheoremSymbol The information for setting the end marks is written to the .aux file:
129 \gdef\OrganizeTheoremSymbol{%
130 \@bbsphack
131 \edef\thm@tmp{\expandafter\expandafter\expandafter\thm@meaning
132 \expandafter\meaning\csname\InTheoType Symbol\endcsname\relax}%
133 \protected@write\@auxout{}%
134 {\string\global\string\def\string\mark%
135 \thm@romannum{curr\InTheoType ctr}\InTheoType \thm@romannum{end\InTheoType ctr}%
136 {\thm@tmp}}%
137 \@eesphack}
Lines 133–135: Write
\global\def\mark〈env〉