Skip To Article

All proof directives can be included using the prf:kind pattern, where the proof directives are shown in Table 1. The directive is enumerated by default and can take in an optional title argument which is shown in brackets after the proof.

Here is an example of a {prf:theorem} with a custom title:

Table 1:Proof kinds that can be used as directives

prf:algorithmprf:axiomprf:conjecture
prf:corollaryprf:criteriaprf:definition
prf:exampleprf:lemmaprf:observation
prf:propertyprf:propositionprf:proof
prf:remarkprf:theorem

The following options for proof directives are supported:

  • label: text

    A unique identifier for your theorem that you can use to reference it with a Markdown link or the {prf:ref} role. Cannot contain spaces or special characters.

  • class: text

    Value of the theorem’s class attribute which can be used to add custom CSS or JavaScript. This can also be the optional dropdown class to initially hide the proof.

  • nonumber: flag (empty)

    Turns off auto numbering.

Referencing Proofs

You can refer to a proof using the standard link syntax:

Hiding Proof Content

To hide the directive, simply add :class: dropdown as a directive option.

Example

Proof Examples

Proofs

Source: Adapted from QuantEcon

Theorems

Source: QuantEcon

Axioms

Source: Stachurski (2009)

Lemmas

Source: QuantEcon

Definitions

Source: QuantEcon

Criteria

Source: Wikipedia

Remarks

Source: QuantEcon

Conjectures

Corollaries

Source: QuantEcon

Algorithms

Source: Wikipedia

Examples

Source: QuantEcon

Properties

Observations

Propositions

Assumptions

References
  1. Stachurski, J. (2009). Economic Dynamics: Theory and Computation (Vol. 1). The MIT Press. https://ideas.repec.org/b/mtp/titles/0262012774.html
MyST MarkdownMyST Markdown
Community-driven tools for the future of technical communication and publication, part of Jupyter.