Make hyphen distinguishable from ascii minus

[b-jonas0]

Currently the hyphen character \x{2010} and also \x{2011} look very similar to the ascii minus character \x{002D}. Make these distinguishable, to aid proofreading. Possibly also make other characters more easily distinguishable from the ascii minus too, such as \x{00AD}, \x{2012}, \x{2013}, although there there's at least a pixel of difference in length already.