Type an input command line to Axiom: