\documentclass{article} \usepackage{axiom} \begin{document} \title{\$SPAD/src/input LIB.input} \author{The Axiom Team} \maketitle \begin{abstract} \end{abstract} \eject \tableofcontents \eject <<*>>= -- Input generated from LibraryXmpPage )clear all stuff := library "/tmp/Neat.stuff" stuff.int := 32**2 stuff."poly" := x**2 + 1 stuff.str := "Hello" keys stuff stuff.poly stuff("poly") )system rm -rf /tmp/Neat.stuff @ \eject \begin{thebibliography}{99} \bibitem{1} nothing \end{thebibliography} \end{document}