Formal statements — The Enscribe Authoring Guide

Formal statements

Labeled formal units asserted in the argument — theorems, proofs, definitions, and the definitional structures.

<corollary>

Compiles to eHTML <corollary>.

<corollary | Every prime greater than 2 is odd.>

Corollary 1.

Every prime greater than 2 is odd.

Minipage 32.

<dd>

Compiles to eHTML <dd>.

<dd | An academic publishing system built on HTML+CSS+JS.>

An academic publishing system built on HTML+CSS+JS.

Minipage 33.

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

<definition>

Compiles to eHTML <definition>.

<definition | A *group* is a set with an associative binary operation, identity, and inverses.>

Definition 1.

A group is a set with an associative binary operation, identity, and inverses.

Minipage 34.

<dl>

Compiles to eHTML <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>

enscribe: An academic publishing system built on HTML+CSS+JS.
eHTML: The canonical semantic HTML vocabulary.
Enscribe shorthand: The shorthand authoring syntax that compiles to eHTML.

Minipage 35.

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

<dt>

Compiles to eHTML <dt>.

<dt | enscribe>

enscribe

Minipage 36.

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

<example>

Compiles to eHTML <example>.

<example | The integers under addition form a group.>

Example 1.

The integers under addition form a group.

Minipage 37.

<glossary>

Compiles to eHTML <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>

enscribe

An academic publishing system built on HTML+CSS+JS.

eHTML

The canonical semantic HTML vocabulary.

Minipage 38.

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.

<glossary-entry>

Compiles to eHTML <glossary-entry>.

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

enscribe

An academic publishing system built on HTML+CSS+JS.

Minipage 39.

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

<lemma>

Compiles to eHTML <lemma>.

<lemma | Every continuous function on a compact set attains its maximum.>

Lemma 1.

Every continuous function on a compact set attains its maximum.

Minipage 40.

<proof>

Compiles to eHTML <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>

Theorem 1.

The sum of two even integers is even.

Proof.

Let $a = 2 m$ and $b = 2 n$ . Then $a + b = 2 (m + n)$ , which is even. $□$

Minipage 41.

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

<proposition>

Compiles to eHTML <proposition>.

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

Proposition 1.

The sum of two even integers is even.

Minipage 42.

<remark>

Compiles to eHTML <remark>.

<remark | The converse does not hold in general.>

Remark.

The converse does not hold in general.

Minipage 43.

<theorem>

Compiles to eHTML <theorem>.

<theorem | If $a^2 + b^2 = c^2$ then the triangle is right-angled.>

Theorem 1.

If $a^{2} + b^{2} = c^{2}$ then the triangle is right-angled.

Minipage 44.

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