| tbook: User Element View | [DTD Element View] |
| [Home] [Elements] [Entities] | [Prev] [Next] |
(#PCDATA|heading|em|visual|verb|m|math|ch|latex|url|hspace|unit| relax|wrap|cite|pageref|ref|vref|mathref|footnote|ix|idx|indexsee| graphics|dm|quote|tabular|verbatim|verse|description|enumerate| itemize|p|multipar)*
| Name | Type | Default Value |
|---|---|---|
| style | CDATA | None |
| class | CDATA | None |
| xml:lang | NMTOKEN | None |
| id | ID | None |
The following parameter entities contain proof: bigblock, mathblock, sectbegin
Inserts a mathematical proof. It is allowed everywhere where you could insert a floating figure.
If <heading> is given, it is used instead of the default word “Proof” at the beginning.
article, chapter, paragraph, section, subparagraph, subsection, subsubsection
ch, cite, description, dm, em, enumerate, footnote, graphics, heading, hspace, idx, indexsee, itemize, ix, latex, m, math, mathref, multipar, p, pageref, quote, ref, relax, tabular, unit, url, verb, verbatim, verse, visual, vref, wrap
<proof> Indirect: ... <p>(Some magic happens.)</p> <p>This contradicts <ref refid="eqn:variance">equation</ref>.</p> </proof>
This yields:
(Some magic happens.)
This contradicts equation (4).