Statements
Statements are the LaTeX theorem-environment family as directives. Each renders with a typographic label in the tradition of a mathematics text: label in bold, body inline after it.
Kinds
| Name | Renders as | Body style |
|---|---|---|
theorem | Theorem. | italic |
lemma | Lemma. | italic |
corollary | Corollary. | italic |
definition | Definition. | upright |
proof | Proof. ... | upright, tombstone at the end |
example | Example. | upright |
remark | Remark. | upright |
(note, warning, and caution are
admonitions, not
statements – they render as boxes, not as theorem text.)
Basic use
:::definition
A group is a set with an associative operation, an identity element, and
inverses.
:::Definition. A group is a set with an associative operation, an identity element, and inverses.
Naming a statement
The [label] names the result – it renders in parentheses after the kind:
:::theorem[Lagrange]
The order of a subgroup divides the order of the group.
:::
:::proof
Cosets partition the group and all have equal size.
:::Theorem (Lagrange). The order of a subgroup divides the order of the group.
Proof. Cosets partition the group and all have equal size.
The proof's tombstone () is appended automatically – do not type your own QED mark.
Labels are translated
The label text follows the publication's language, not the reader's
interface language: in a Russian-language publication :::theorem renders as
Теорема., in French as Théorème., and so on for German and Chinese.
Write the directive name in English always; the rendering localizes.
Body content
A statement body is full Markdown: display math, lists, code, images, even a
nested TikZ diagram (give the
outer fence more colons – see
nesting). Statements do not
auto-number; if you need to reference one, name it with a [label] and refer
to it by name.