Denotational Semantics Applied to the Typesetting of Maple Expressions

Using your favourite document preparation package for typesetting mathematical expressions — to include in papers and theses, for example — can be tedious at the best of times. It is particularly frustrating when the desired expressions already exist somewhere else, such as in an active Maple session, but are not in any kind of format that is both transferable and typographically useful. Here, the concepts of denotational semantics are applied to the problem of exporting Maple expressions to FrameMaker via MIF (Maker Interchange Format) files.