[Axiom-mail] Axiom commands in LaTeX documents

[Alasdair McAndrew]

Does the axiom.sty file allow for the following construction of an
axiom command and output in a LaTeX file:

input command (flushleft, textstyle)
Axiom output (centred, or left, math typeset)
Axiom type (flushright, textstyle)

I could certainly kludge this up myself, but surely a command such as

\axiom{integrate(x^2,x)}{\frac{1}{3}x^3}{Type: Polynomial Fraction Integer}

should do it all.  Actually, from within emacs, it should be possible
to call such a command as

\axiom{integrate(x^2,x)}

and have Axiom itself compute the output and complete the command.

Thanks,
Alasdair