Theorems and proofs in XHTML

The gloss XHTML support (but not the html support) includes by default some constructs for making theorems and proofs withing standards compliant XHTML. Theorems can be numbered, named, or both, and cross-referenced with IDs. Numbering is normally automatic and based on section numbers. Their display can be customised easily using CSS.

A quick example of usage is as follows.

theorem p [Text of theorem]
proof {
 ... 
}

A more detailed example is given in copydemo.xhtml.

This module is quite complex with many options and variations, and documentation is provided at mv/html/theorem.html. A list of the pre-defined theorem types that are available are at mv/html/theorem-english.html. Names from other languages can easily be added or substituted.

This page is copyright. Web page design and creation by GLOSS.