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) n - Numbering, i.e. to assign labels.
 * 2) lc - Left comment; used to summarize what the axiom conveys (e.g. conjugate symmetry).
 * 3) q - Quantifiers; used for quantifiers in axioms, aligns these vertically over multiple rows.
 * 4) t - Text content; for textual axioms
 * 5) m - Math content; for formulaic axioms
 * 6) rc - Right comment; for extra information

Math delimiters (i.e.  $ ... $ , or  \( ... \) </tt> etc.) must be used only on the textual lines lc</tt>, t</tt> and rc</tt>.

Once the set of axioms is completed,  </tt> must be called.

Warning
Do not put two closing curly brackets together, e.g.  }} </tt> because the interpreter thinks this marks the end of the template and it breaks the syntax.

Put a space between them:  } } </tt>

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 \left</tt> and \right</tt> commands for automatic sizing.
 * Use \vert</tt> instead of |</tt>: it produces $\vert$.
 * Use \Vert</tt> instead of ||</tt> or \|</tt>: 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"  |