@Benedick: Guess what? I haven't been copying and pasting symbols or using the character palette. ;-) Check out the hexadecimal…