Template:Axiom

Usage
Used to style presentation of lists of axioms.

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)   - Text content; for textual axioms
 * 5)   - Math content; for formulaic axioms
 * 6)   - Math content; a second column for formulaic axioms
 * 7)   - 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,  must be called.

Warning
Do not put two closing curly brackets together, e.g.  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="right" |
 * align="right" |
 * align="right" |
 * align="left" |


 * align="left" |
 * align="left"  |