[next] [prev] [prev-tail] [tail] [up]

3.7 Theorems

<..configure jsml latex..>+
 \Configure{newtheorem}
    {\ifvmode\IgnorePar\fi\EndP
      \HCode{<BREAK SIZE="medium"/>%
      <PARA><div class="newtheorem">}\par\noindent
      \HCode{<SENT><PROS PITCH="-10" ><span class="theorem-head">}}
    {\HCode{</span></PROS></SENT><BREAK SIZE="small"/>}}
    {\EndP\IgnorePar\HCode{</div></PARA><BREAK SIZE="medium"/>}\ShowPar\par}
-_-_-

<..configure jsml acm-proc-article-sp..>+
 \Configure{proof}
    {\ifvmode\IgnorePar\fi\EndP
      \HCode{<BREAK SIZE="medium"/>%
      <PARA><div class="newtheorem" title="proof">}\par\noindent
      \HCode{<SENT><PROS PITCH="-10" ><span  class="theorem-head">}}
    {\HCode{</span></PROS></SENT><BREAK SIZE="small"/>}}
    {\EndP\IgnorePar\HCode{</div></div></PARA><BREAK SIZE="medium"/>}\ShowPar\par}
-_-_-

<..configure jsml amsthm..>
 <.shared ams thm/cls.>
-_-_-

<..ams art,proc,book..>+
 \ifx \deferred@thm@head\:UnDef\else
    <.shared ams thm/cls.>
 \fi
-_-_-

<..shared ams thm/cls..>
 \Configure{proof}
    {\ifvmode \IgnorePar \fi \EndP
     \HCode{<div class="newtheorem" title="proof">}\par\ShowPar
     \HCode{<span class="theorem-head">}\IgnorePar}
    {\HCode{</span>}\ShowPar}
    {\ifvmode \IgnorePar \fi \EndP \HCode{</div>}\par}
-_-_-

[next] [prev] [prev-tail] [front] [up]