22.07.2013 Views

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

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

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

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

\newtheorem<br />

644 \gdef\th@nonumberdefinition{%<br />

645 \th@nonumberplain\def\theorem@headerfont{\normalfont\bfseries}\normalfont}<br />

646 \gdef\th@remark{%<br />

647 \th@plain\def\theorem@headerfont{\itshape}\normalfont}<br />

648 \gdef\th@nonumberremark{%<br />

649 \th@nonumberplain\def\theorem@headerfont{\itshape}\normalfont}<br />

650 %%% TODO skips initialisieren<br />

651 \newcounter{proof}%<br />

652 \if@thmmarks<br />

653 \newcounter{currproofctr}%<br />

654 \newcounter{endproofctr}%<br />

655 \fi<br />

656 \newcommand{\openbox}{\leavevmode<br />

657 \hbox to.77778em{%<br />

658 \hfil\vrule<br />

659 \vbox to.675em{\hrule width.6em\vfil\hrule}%<br />

660 \vrule\hfil}}<br />

661 \gdef\proofSymbol{\openbox}<br />

662 \newcommand{\proofname}{Proof}<br />

663 \newenvironment{proof}[1][\proofname]{<br />

664 \th@nonumberplain<br />

665 \def\theorem@headerfont{\itshape}%<br />

666 \normalfont<br />

667 \theoremsymbol{\ensuremath{_\blacksquare}}<br />

668 \@thm{proof}{proof}{#1}}%<br />

669 {\@endtheorem}<br />

670 }% end of option amsthm **********************************************<br />

Defines theorem styles plain, definition, and remark, and environment<br />

proof according to amsthm.sty.<br />

7.1.7 Theorem-Environment Handling Stuff<br />

Original: ltthm.dtx<br />

671 \newskip\thm@topsep<br />

672 \newskip\thm@topsepadd<br />

Two auxiliary variables.<br />

Defining New Theorem-Environments.<br />

673 \gdef\newtheorem{%<br />

674 \newtheorem@i%<br />

675 }<br />

\newtheorem@i The syntax of the original \newtheorem is retained. The macro is extended<br />

to deal with the additional requirements:<br />

676 \gdef\newtheorem@i{%<br />

57

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!