correct errors in the horizontal stretchy data for several characters.#645

Merged

dpvc merged 2 commits intodevelopfrom fix-stretchy-data

Mar 29, 2021

+15-12

Commits on Mar 19, 2021

This PR corrects errors in the horizontal stretchy data for several characters.
dpvc
committed

Commits on Mar 22, 2021

Fix stretchy data for characters with schar data, and actually USE that data. (mathjax/MathJax#2507 )
dpvc
committed