rebuilt from fresh copy of Bitstream Vera, for improved quality of regular text glyphs;
misc cleanup of mathematical glyphs, with bold version synthesized by fontforge;
(benchmark Isabelle
:assumption (not (exists (?x1 Real) (< 0.0 ?x1)))
:formula true
)