Include Bold-Italic fonts for \boldsymbol (#1257)

* Include Bold-Italic fonts for \boldsymbol

Fix #1228

* Update screenshots
This commit is contained in:
Erik Demaine
2018-04-12 22:24:06 -04:00
committed by Kevin Barabash
parent 00538f674a
commit 933a0ee5b5
3 changed files with 1 additions and 1 deletions

Binary file not shown.

Before

Width:  |  Height:  |  Size: 12 KiB

After

Width:  |  Height:  |  Size: 12 KiB