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

\qed With \qed, the user can locally change the end symbol to appear:
108 \gdef\qed{\expandafter\def\csname \InTheoType Symbol\endcsname
109 {\the\qedsymbol}}%
When calling \qed, the end symbol of the innermost theorem-like environment
at that time is set to the value stored in \qedsymbol at that time.
\PotEndMark Handling a potential endmark position:
110 \gdef\PotEndMark#1{
111 \@ifnextchar[%]
112 {\PotEndMark@opt{#1}}{\SetEndMark{\InTheoType}{#1}{\relax}}}%
113 \gdef\PotEndMark@opt#1[#2]{\SetEndMark{\InTheoType}{#1}{#2}}%
Arguments: 〈cmd seq〉:=#1 is a command sequence to be executed when
setting the endmark.
〈else cmd seq〉= #2: a command sequence that is executed when no end
mark is set (default is \relax; differs only in amsmath equation*).
It adds the current theorem type 〈env〉 to the parameters, and calls
\SetEndMark{〈env〉}{〈cmd seq〉}{〈else cmd seq〉}.
\SetEndMark \SetEndMark sets an endmark for an environment. It is called by
\PotEndMark.
114 \gdef\SetEndMark#1#2#3{%
115 \stepcounter{end#1ctr}%
116 \@ifundefined{mark\thm@romannum{curr#1ctr}#1\thm@romannum{end#1ctr}}%
117 {#3}%
118 {#2{\csname mark\thm@romannum{curr#1ctr}#1\thm@romannum{end#1ctr}\endcsname
119 \ifdim\rightmargin>\z@\hskip-\rightmargin\fi
120 \hbox to 0cm{}}}}%
Arguments:
〈env〉:=#1: current theorem-environment.
〈cmd seq〉:= #2: is a command sequence to be executed when setting the
endmark.
〈else cmd seq〉= #3: a command sequence that is executed when no end
mark is set (usually \relax; differs only in amsmath tags).
All three arguments are transmitted by \PotEndMark.
Line 115: incrementsend〈env〉ctrforpreparingthenextsituation for setting
a potential endmark.
Line 116, 117: if
\mark〈env〉
is undefined – which is the case iff at this position no endmark has to be
set –, 〈else cmd seq〉 is executed,
Line 118: otherwise, 〈cmd seq〉 and then
38