You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The \boldsymbol command is not currently supported.
It needs to be added to the parser around here (there is a bit of doc in the parser folder to explain what this does, but essentially it should be the same as for \overline)
For \boldsymbol, we need to look at the font files to understand where and how to grab the correct bold symbol. If we are lucky it's sufficient to just get the same glyph from the bold font.
I'm happy to create a PR, but I don't know where to start.
The text was updated successfully, but these errors were encountered: