[CommonHTML] \big and its relatives don't produce the proper size in scripts #1987
Description
In TeX, $\big( \scriptstyle \big($ produce two identical characters, but in CommonHTML, they are two different sizes (and in other output, they are not identical, but similar).