pretty printing for arithmetic expressions