Transformations
Formal mathematics is hard to read
documents must be processed in order to obtain
satisfactory presentations
Presentation is a vehicle of interaction,
provided that...
the document format is flexible enough
(PostScript, LaTeX, MathML)