1.2 Typographic Conventions
In this document we have followed these typographical conventions:
-
Categories, domains and packages are displayed in this font:
Ring, Integer, DiophantineSolutionPackage.
- Prefix operators, infix operators, and punctuation symbols in
the Axiom language are displayed in the text like this:
+, $, +->.
- Axiom expressions or expression fragments are displayed in this font:
inc(x) == x + 1.
- For clarity of presentation, TeX is often used to format expressions
.
- Function names and HyperDoc button names are displayed in the text in
this font:
factor, integrate, Lighting.
- Italics are used for emphasis and for words defined in the glossary:
category.
This document contains over 2500 examples of Axiom input and output. All
examples were run though Axiom and their output was created in TeX
form by the Axiom TexFormat package. We have deleted system
messages from the example output if those messages are not important
for the discussions in which the examples appear.