<fact>
<fact> is a <theorem>-like tag
and so shares the attributes and structure with other theorem-like tags.
In particular, the <fact> tag creates a container for the
statement of a fact with optional title,
creator, and proof.
Syntax
Attributes
| Attribute | Required? | Values |
|---|---|---|
component = "…" | optional | string |
label = "…" | optional | string |
xml:base = "…" | optional | string |
xml:id = "…" | optional | string |
xml:lang = "…" | optional | string |
Children
The following may appear as children:<aside> <biographical> <blockquote> <console> <creator> <figure> <historical> <idx> <image> <list> <listing> <p> <pre> <program> <proof> <sage> <sbsgroup> <sidebyside> <statement> <table> <tabular> <title> <video> Parents
This element may appear as an immediate child of the following elements:<appendix> <article> <chapter> <conclusion> <introduction> <paragraphs> <section> <subsection> <subsubsection>