Template:Axiom

Template
Used to style presentation of lists of axioms.

Usage
begin-axiom needs to be called first.

You can add a new general row in the following manner:

The different possible variables that can be used are:
 * 1)   - Numbering, i.e. to assign labels.
 * 2)   - Left comment; used to summarize what the axiom conveys (e.g. conjugate symmetry).
 * 3)   - Quantifiers; used for quantifiers in axioms, aligns these vertically over multiple rows.
 * 4)   - Math content; for formulaic axioms
 * 5)   - Math content; left hand side of a formulaic axiom
 * 6)   - Math content; operation between left and right hand sides of a formulaic axiom
 * 7)   - Math content; right hand side of a formulaic axiom
 * 8)   - Math content; a second column for formulaic axiom
 * 9)   - Text content; for textual axioms
 * 10)   - Text content; left hand side of a textual axiom
 * 11)   - Text content; operation between left and right hand sides of a textual axiom
 * 12)   - Text content; right hand side of a textual axiom
 * 13)   - Right comment; for extra information

Math delimiters (i.e., or   etc.) must be used only on the textual lines  ,  ,  ,  ,   and.

Once the set of axioms is completed, end-axiom must be called.

Warning
Do not put two closing curly brackets together, for example  because the interpreter thinks this marks the end of the template and it breaks the syntax.

Put a space between them:

Also beware: the vertical bar character $|$ can not be included anywhere in $\LaTeX$ within this template. These commands may also be used in conjunction with  and   commands for automatic sizing.
 * Use  instead of  : it produces $\vert$.
 * Use  instead of   or  : it produces $\Vert$.

Other constructs may also misbehave. Please beware.

Example
produces the abelian group axioms:

|-
 * align="left"  |
 * align="center" |
 * align="left"  |
 * align="right" |
 * align="left"  |
 * align="right" |
 * align="center" |
 * align="left"  |
 * align="left"  |