Comment by kevin_thibedeau

The typed original [1] has double hyphens that have been converted to dashes. His typewriter (Hermes Ambassador) was fixed pitch.

[1] https://www.cs.utexas.edu/~EWD/ewd06xx/EWD667.PDF