Move FONTDATA from boldsymbol.js to jax/output for STIX and TeX fonts. #612
Address review comments. #612
follow-up
Merge pull request #630 from fred-wang/issue612

First step in Issue #612 (Move TeX/STIX font data from boldsymbol extension)