| http://www.w3.org/ns/prov#value | - it is definitely a viewer issue. I am using firefox, and do not see any distortion until i enlarge the view to a really enormous magnification, at which point it is barely obvious that there is an overlap at the join of the extender and the arrow. but a warning -- for some fonts other than computer modern, where the design of the = is not intentionally matched to that of the arrow and there is not an
|
