Well, different fonts really show different symbols for these characters, depending on the OS languages. Low-ASCII fonts here such as Terminal, IBMPC etc. contain weird chars as well.
Anyway, do the ones there work as they should, ie. ctrl+K assigns a colour, ctrl+B sets bold etc.? If so, I think everything is fine.
