Section1.2

]>
Book Contents Previous Section 1.1 Starting Up and Winding Down Next Section 1.3 The Axiom Language Book Index

## 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
  g(x)=x 2+1.
- 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.

Book Contents Previous Section 1.1 Starting Up and Winding Down Next Section 1.3 The Axiom Language Book Index