Skip to main content

The PreTeXt Guide

Section 15.3 Axiom-Like Elements

PreTeXt provides several tags that fall into the category of an “axiom”. They are <assumption>, <axiom>, <conjecture>, <heuristic>, <hypothesis>, and <principle>. The content of these tags is very simple. They allow an optional <title>, an optional <creator>, optional <idx> tags, and then a <statement> much like a <theorem> does.
<axiom>
    <title>Optional</title>
    <creator>Peano</creator>
  <statement>
    <p>
      Here's the statement of the axiom.
    </p>
  </statement>
</axiom>
Listing 15.3.1. An axiom
The code in Listing 15.3.1 produces the following output:
You have attempted of activities on this page.