<proof>
A <proof> is a Sectional
component. It is unnumbered and collapsible. Its rendered appearance is similar to an <aside>.
Attributes and Properties
| Attribute | Type | Values |
|---|---|---|
aggregateScores = "…" | boolean | "true" "false" |
asList = "…" | boolean | "true" "false" |
boxed = "…" | boolean | "true" "false" |
collapsible = "…" | boolean | "true" "false" |
displayDigitsForCreditAchieved = "…" | integer | |
includeAutoName = "…" | boolean | "true" "false" |
includeAutoNameIfNoTitle = "…" | boolean | "true" "false" |
includeAutoNumber = "…" | boolean | "true" "false" |
includeAutoNumberIfNoTitle = "…" | boolean | "true" "false" |
level = "…" | ||
postponeRendering = "…" | "true" "false" | |
renameTo = "…" | ||
sectionWideCheckWork = "…" | boolean | "true" "false" |
showCorrectness = "…" | "true" "false" | |
startOpen = "…" | "true" "false" | |
submitLabel = "…" | text | |
submitLabelNoCorrectness = "…" | text | |
weight = "…" | number |
| Property | Type |
|---|---|
$p.aggregateScores | boolean |
$p.asList | boolean |
$p.boxed | boolean |
$p.collapsible | boolean |
$p.creditAchieved | number |
$p.disabled | boolean |
$p.displayDigitsForCreditAchieved | integer |
$p.fixed | boolean |
$p.fixLocation | boolean |
$p.hidden | boolean |
$p.includeAutoName | boolean |
$p.includeAutoNameIfNoTitle | boolean |
$p.includeAutoNumber | boolean |
$p.includeAutoNumberIfNoTitle | boolean |
$p.open | boolean |
$p.percentCreditAchieved | number |
$p.sectionNumber | text |
$p.sectionWideCheckWork | boolean |
$p.submitLabel | text |
$p.submitLabelNoCorrectness | text |
$p.title | text |
$p.weight | number |
Example: <proof> with default title
Within a DoenetML document, default titles for sectional components are auto-numbered. Sectional components such as <section> and <problem> are on the same counter, but a <proof> is not part of the document’s default numbering schema.
Example: <proof> with custom title
A custom <proof> title is creating by providing a <title> tag within the <proof>.
Attribute Example: startOpen
The startOpen attribute renders the <proof> box as open; it must be clicked once to close.