Fix problem with \vert becoming stretchy after enrichment. (mathjax/MathJax#3530)#1440

dpvc merged 1 commit intodevelopmathjax/MathJax-src:developfrom

issue3530mathjax/MathJax-src:issue3530Copy head branch name to clipboard