Description
This element holds an enunciation, such as a theorem, axiom or proof. The enunciation takes the form of a series of paragaphs, following an optional title:
<enunciation type="Proof">
<title>Proof.</title>
<para>This follows by Corollary 2.4 (4).</para>
</enunciation>
<enunciation type="Corollary">
<title>Corollary 5.8.</title>
<para>The following statements are equivalent:</para>
</enunciation>
Parent Elements
The elements listed below may directly contain this element.
They are "parent" elements. Elements in referenced groups are included, up to two levels of group nesting.
Model Diagram
The DTD model for this element:
--+(sequence)
|
title (optional) -- (TEXT and elements)
|
para (repeatable) -- (TEXT and elements)
DTD Definition
The DTD contains the following element and attribute definitions
(note that embedded links are to definitions within the DTD page of this guide):
<!ELEMENT enunciation (title?, para+)>
<!ATTLIST enunciation
type (Theorem | Lemma | Corollary | Proposition |
Remark | Definition | Proof | Example |
Results | Axiom | Step | Case |
Problem | Algorithm | Other) #IMPLIED
%a-group-CommonIDAttrs;>
.
Defined in DTD section
Block-level Content : Enunciation
General Attributes (shared with other elements)
Local Attributes (defined for this element alone)
Description
This attribute identifies the category of information, such as "Axiom" or "Proposition">
Specification
This attribute is not required. The allowed values are "Theorem", "Lemma", "Corollary", "Proposition", "Remark", "Definition", "Proof", "Example", "Results", "Axiom", "Step", "Case", "Problem", "Algorithm" and "Other".
DTD Definition
type (Theorem | Lemma | Corollary | Proposition |
Remark | Definition | Proof | Example |
Results | Axiom | Step | Case |
Problem | Algorithm | Other) #IMPLIED .