Semantic role: corollary. Compiles to eHTML <corollary>.

Registers:

• Canonical: <corollary>

<corollary #cor:bounded>
Any continuous function on a closed interval is bounded.
</corollary>

Semantic role: dd. Compiles to eHTML <dd>.

Registers:

• Canonical: <dd>

A definition-list description. Appears as a child of <dl>, following the term it defines.

<dd |
A multi-paragraph definition.

The second paragraph of the definition.
>

Multi-paragraph descriptions are valid — the pipe content’s paragraph structure is preserved.

Semantic role: definition. Compiles to eHTML <definition>.

Registers:

• Canonical: <definition>

<definition name="Group" #def:group>
A *group* is a set $G$ together with a binary operation
$\cdot$ satisfying associativity, identity, and inverses.
</definition>

Semantic role: dl. Compiles to eHTML <dl>.

Registers:

• Canonical: <dl>

<dl>
  <dt | enscribe>
  <dd | An academic publishing system built on HTML+CSS+JS.>
  <dt | eHTML>
  <dd | The canonical semantic HTML vocabulary.>
  <dt | Enscribe shorthand>
  <dd | The shorthand authoring syntax that compiles to eHTML.>
</dl>

Long-form <dl> with short-form <dt>/<dd> children. The natural authoring pattern.

<dl .compact>
  <dt | term-1>
  <dd | First definition of term-1.>
  <dd | Second definition of term-1.>
</dl>

One term with multiple definitions — a valid HTML pattern.

Semantic role: dt. Compiles to eHTML <dt>.

Registers:

• Canonical: <dt>

A definition-list term. Appears as a child of <dl>.

Inline markup in a term. The recursive-content pass parses the pipe content normally.

Semantic role: example. Compiles to eHTML <example>.

Registers:

• Canonical: <example>

<example #ex:integers>
The integers $\mathbb{Z}$ under addition form a group: the
operation is associative, $0$ is the identity, and every
integer has an additive inverse.
</example>

Semantic role: glossary. Compiles to eHTML <glossary>.

Registers:

• Canonical: <glossary>

<glossary #project-terms>
  <glossary-entry>
    <dt | enscribe>
    <dd | An academic publishing system built on HTML+CSS+JS.>
  </glossary-entry>
  <glossary-entry>
    <dt | eHTML>
    <dd | The canonical semantic HTML vocabulary.>
  </glossary-entry>
</glossary>

A glossary with two entries. Each <glossary-entry> uses <dt>/<dd> for its term and definition (the same shapes <dl> uses), wrapped in the entry’s own envelope for cross-reference / styling.

Semantic role: glossary-entry. Compiles to eHTML <glossary-entry>.

Registers:

• Canonical: <glossary-entry>

<glossary-entry #term:enscribe>
  <dt | enscribe>
  <dd | An academic publishing system built on HTML+CSS+JS.>
</glossary-entry>

A single glossary entry. The id uses the “term:” colon-prefix convention so cross-references like <ref @term:enscribe> can resolve into the entry.

Semantic role: lemma. Compiles to eHTML <lemma>.

Registers:

• Canonical: <lemma>

<lemma name="Zorn" #lem:zorn>
Every non-empty partially-ordered set in which every chain has
an upper bound contains a maximal element.
</lemma>

Semantic role: proof. Compiles to eHTML <proof>.

Registers:

• Canonical: <proof>

<theorem | The sum of two even integers is even.>

<proof>
Let $a = 2m$ and $b = 2n$. Then $a + b = 2(m + n)$, which is
even. $\square$
</proof>

The canonical pattern: <theorem> followed by sibling <proof>. The proof is NOT nested inside the theorem.

<proof name="of Theorem 1.2">
The argument follows from the preceding lemma.
</proof>

Optional name kwarg lets the proof identify what it proves (useful when the proof is separated from its theorem by intervening text).

Semantic role: proposition. Compiles to eHTML <proposition>.

Registers:

• Canonical: <proposition>

<proposition name="Cauchy-Schwarz">
For any vectors $u$, $v$ in an inner-product space,
$|\langle u, v \rangle| \le \|u\| \, \|v\|$.
</proposition>

Semantic role: remark. Compiles to eHTML <remark>.

Registers:

• Canonical: <remark>

<remark>
The hypothesis of compactness is essential here; without it
the conclusion fails (consider $f(x) = 1/x$ on $(0, 1]$).
</remark>

Semantic role: theorem. Compiles to eHTML <theorem>.

Registers:

• Canonical: <theorem>

Short-form with pipe content. The body is parsed normally.

<theorem name="Pythagoras" #thm:pyth>
If $a^2 + b^2 = c^2$, the triangle with sides $a$, $b$, $c$
is right-angled.
</theorem>

Long-form with the optional name kwarg. Cross-referenceable via id (the “thm:” colon-prefix convention is consistent with “fig:”, “eqn:”, “sec:” elsewhere in enscribe). The name kwarg lifts to data-name; the Phase-2 handler will render it as the “(Pythagoras)” suffix to the label “Theorem N”.