Skip to main content
\( \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \)

Section4Theorem-like elements

Theorems, lemmas, propositions, etc. all have basically the same structure in PreTeXt, so we will just illustrate theorem here.

<theorem>
    <title>Optional</title>
    <statement>
        <p>Here's the statement of the theorem.</p>
    </statement>
    <proof>
        <p>
            You don't actually need a proof, but put it inside the <c>theorem</c>.
            You can actually put another <c>proof</c> right after this one if you want to.
        </p>
    </proof>
</theorem>
Listing4.1A theorem

The code in Listing 4.1 produces the following output:

You don't actually need a proof, but put it inside the theorem. You can actually put another proof right after this one if you want to.

The title is optional and typically used for theorems with names or to which you wish to give an attribution. Cross references (see Subsection 10.1 can be made using the name or the number, depending on how the author codes them.

You can use definition essentially like theorem, but a definition cannot have a proof. You are encouraged to use the term tag to set off the word being defined.