Axiom can produce TeX output for your output formats:TeX @{TeX} expressions. TeX output format @{TeX} output format The output is produced using macros from the LaTeX document preparation system by Leslie Lamport\cite{1}. The printed version of this book was produced using this formatter.
To turn on TeX output formatting, issue this. set output tex
Here is an example of its output.
This formats as
To turn TeX output formatting off, issue )set output tex off. The LaTeX macros in the output generated by Axiom are all standard except for the following definitions: