better symbol printing