Special Characters

[joshua kenny]

I found some characters (looks like an tilde '~' sign but I think it isn't) in 
red color which I can't copy-paste. Can they be left untranslated?

Thanks.
Joshua Kenny.