Fancy unicode characters can look ugly with the wrong font.