The standard TeXmacs styles and packages

Currently, the following standard document styles have been implemented:

• Book;
• Article;
• Letter;
• Seminar (for transparencies).

Each of these styles export a certain number of standard functions and environments listed below. All future standard document styles are expected to support at least the above commands and environments and we suggest users to write style files which do so too.

• Sectioning commands.
• Itemize and enumerate environments.
• Equation like environments.
• Theorem like environments.
• Programming environments.

We notice that the theorem like environments are not standard in LaTeX, which is a standard source of non compatibility. New “theorems” can be added with the newtheorem command. It is also possible to add new “remarks” with the newremark command; “remarks” are different from “theorems” in the sense that their body is usually not typeset in an emphasized font.

Of course, programming environments are not supported by LaTeX either. Such environments are currently under development.