font-family はちゃんと MJXc-TeX-main-B,MJXc-TeX-main-Bw;になってるからフォントの読み込みあたりがおかしいらしい? なお、FireFoxならちゃんと太字になる。
とりあえずCSSで回避、ちょっと違和感がある。
<style> .Bold{ font-weight: bold; } </style> \( \class{Bold}{a} \)あと、outputをHTML-CSSにしても太字でる。だがCommonHTMLを使いたい。
<style> .Bold{ font-weight: bold; } </style> \( \class{Bold}{a} \)あと、outputをHTML-CSSにしても太字でる。だがCommonHTMLを使いたい。