`<case>`

The <case> element separates a <proof> into named cases. Use several <case> children when an argument branches into alternatives, each with its own paragraphs or supporting steps.

Syntax

Attributes

Attributes for `<case>`
Attribute	Required?	Values
`component = "…"`	optional	`string`
`direction = "…"`	optional	`string`
`label = "…"`	optional	`string`
`xml:id = "…"`	optional	`string`
`xml:lang = "…"`	optional	`string`

Children

The following may appear as children: <aside> <biographical> <blockquote> <console> <figure> <historical> <idx> <image> <list> <listing> <p> <pre> <program> <sage> <sbsgroup> <sidebyside> <table> <tabular> <title> <video>

Parents

This element may appear as an immediate child of the following elements: <proof>

Examples

<caption><cd>