[davebees]

Is the 'minus minus' being converted into a dash throughout?

[tel]

I saw it in a few places, but often it was typeset C - -