Wieland, the Unicode standard is so large that not all fonts carry every single symbol. So as long as you change your font to one that maintains that particular character, you're fine.

I've always...