improved symbol printing