symbolic constants now get pretty printed