Closed jkuczm closed 7 years ago
TeX special characters in identifier names, appearing in options, are now escaped.
Fixes bug reported in #20.
TeX special characters in identifier names, appearing in options, are now escaped.
Fixes bug reported in #20.