Closed jkuczm closed 8 years ago
Before this fix, conversion of "formatting" boxes like SuperscriptBox was converting all box arguments including options, which lead to errors, since options are not supported boxes.
SuperscriptBox
Now those options are ignored.
Fixes #7.
Before this fix, conversion of "formatting" boxes like
SuperscriptBox
was converting all box arguments including options, which lead to errors, since options are not supported boxes.Now those options are ignored.
Fixes #7.