Use pretty printing for symbolic math