Section 15.3 Axiom-Like Elements
PreTeXt provides several tags that fall into the category of an “axiom”. They are
<principle>. The content of these tags is very simple. They allow an optional
<title>, an optional
<idx> tags, and then a
<statement> much like a
The code in Listing 15.3.1 produces the following output:
Axiom 15.3.2 (Peano). Optional.
Here's the statement of the axiom.