`<theorem>`

A sectional component for the statement of a theorem (or similar formal statement)

<theorem> is a Sectional component that renders a block of content presenting a theorem (or analogous formal statement). It behaves like <example> — it accepts a custom <title> or falls back to an auto-generated name and number — but carries the semantic meaning “theorem”. A nested <statement> and <proof> are often used to structure the content.

Attributes and Properties

Attributes for `<theorem>`

Scoring (9)

aggregateScores

boolean. Default value: false. Whether to aggregate scores of scored descendants into a section credit-achieved value.

colorCorrectness

boolean. Default value: false. Whether to color-code answers in this section based on correctness.

displayDigitsForCreditAchieved

integer. Default value: 3. Number of significant digits to display for the section's credit achieved value.

forceIndividualAnswerColoring

boolean. Default value: false. Whether to force per-answer color-correctness even when section-wide check work is enabled.

sectionWideCheckWork

boolean. Default value: false. Whether to show a single section-wide check-work button instead of per-answer buttons.

showCorrectness

boolean. Default value: false. Whether to display correctness indicators for answers in this section.

submitLabel

text. Default value: Check Work. Label for the section-wide submit button when correctness is shown.

submitLabelNoCorrectness

text. Default value: Submit Response. Label for the section-wide submit button when correctness is not shown.

weight

number. Default value: 1. Relative weight of this section when aggregated by an enclosing scored section.

Other (12)

asList

boolean. Default value: false. Whether to render this section's children as a list.

boxed

boolean. Default value: false. Whether to render this section with a visible box around it.

completedColor

text. Default value: var(--lightGreen). Color used to indicate this section has been completed.

includeAutoName

boolean. Default value: false. Whether to include the auto-generated section name (e.g. "Section") in the rendered title.

includeAutoNameIfNoTitle

boolean. Default value: true. Whether to include the auto-generated name when no explicit title is provided.

includeAutoNumber

boolean. Default value: false. Whether to include the auto-generated section number in the rendered title.

includeAutoNumberIfNoTitle

boolean. Default value: true. Whether to include the auto-generated number when no explicit title is provided.

includeParentNumber

boolean. Default value: false. Whether to prefix this section's number with the parent section's number.

inProgressColor

text. Default value: var(--mainGray). Color used to indicate this section is in progress.

level

integer. The heading level for this section (overrides the default level inferred from nesting).

noAutoTitle

boolean. Default value: false. Whether to suppress the auto-generated title entirely.

notStartedColor

text. Default value: var(--mainGray). Color used to indicate this section has not been started.

Common to all components (9)

copy

reference. Create an independent copy of another component by reference. Enter a references a $name.

disabled

boolean. Default value: false. Whether this component is disabled and cannot be interacted with.

extend

reference. Extend another component by reference, inheriting its children and attributes. Enter a reference as $name.

fixed

boolean. Default value: false. Whether this component's value is fixed and cannot be modified.

fixLocation

boolean. Default value: false. Whether this component's location is fixed (preventing it from being moved while still allowing other modifications).

hide

boolean. Default value: false. Whether to hide this component from the rendered output.

isResponse

boolean. Default value: false. Whether this component is treated as a response for the purposes of assessment.

name

text. The name used to reference this component from elsewhere in the document.

styleNumber

integer. Default value: 1. The style number used to select this component's visual styling from the available style definitions.

Properties for `<theorem name="t">`

Scoring (6)

$t.aggregateScores

boolean. Whether scores of scored descendants are aggregated into this section's credit value.

$t.displayDigitsForCreditAchieved

integer. Number of significant digits to display for the section's credit achieved value.

$t.sectionWideCheckWork

boolean. Whether to show a single section-wide check-work button instead of per-answer buttons.

$t.submitLabel

text. Label for the section-wide submit button when correctness is shown.

$t.submitLabelNoCorrectness

text. Label for the section-wide submit button when correctness is not shown.

$t.weight

number. Relative weight of this section when aggregated by an enclosing scored section.

Other (17)

$t.asList

boolean. Whether to render this section's children as a list.

$t.boxed

boolean. Whether this section is rendered with a visible box around it.

$t.creditAchieved

number. Aggregate credit achieved (between 0 and 1) for scored descendants of this section.

$t.disabled

boolean. Whether this component is disabled and cannot be interacted with.

$t.fixed

boolean. Whether this component's value is fixed and cannot be modified.

$t.fixLocation

boolean. Whether this component's location is fixed (preventing it from being moved while still allowing other modifications).

$t.hidden

boolean. Whether this component is hidden from the rendered output.

$t.includeAutoName

boolean. Whether to include the auto-generated section name (e.g. "Section") in the rendered title.

$t.includeAutoNameIfNoTitle

boolean. Whether to include the auto-generated name when no explicit title is provided.

$t.includeAutoNumber

boolean. Whether to include the auto-generated section number in the rendered title.

$t.includeAutoNumberIfNoTitle

boolean. Whether to include the auto-generated number when no explicit title is provided.

$t.includeParentNumber

boolean. Whether to prefix this section's number with the parent section's number.

$t.noAutoTitle

boolean. Whether to suppress the auto-generated title entirely.

$t.open

boolean. Whether this section is currently open (for collapsible sections).

$t.percentCreditAchieved

number. Aggregate credit achieved as a percentage (between 0 and 100).

$t.sectionNumber

text. The displayed number for this section.

$t.title

text. The displayed title text for this section.

Common to all components (4)

$t.doenetML

text. The DoenetML source code that produced this component.

$t.hide

boolean. Whether to hide this component from the rendered output.

$t.isResponse

boolean. Whether this component is treated as a response for the purposes of assessment.

$t.styleNumber

integer. The style number used to select this component's visual styling from the available style definitions.

Examples

Example: `<theorem>` with default title

When <theorem> has no <title>, an auto-generated title (e.g. Theorem 1) is rendered. Each <theorem> is counted on the same sectional counter as its siblings.

Example: `<theorem>` with custom title

A custom <theorem> title is provided by nesting a <title> component.

Attribute Examples

Attribute Example: boxed

The boxed attribute changes the default formatting to a border with a shaded title banner.

Attribute Example: includeAutoNumber

The includeAutoNumber attribute is false by default. Set it to true to render the theorem number in addition to a custom title.

Attribute Example: hide

The hide attribute takes a boolean as input and can be used with any rendered component.

textList title

<theorem>