I'm not sure what these characters are, but I'm guessing the editor turned it into an em-dash or something.