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
Naively, I would say, use latex2unicode to handle these cases, because UniCode is really widespread these days. But I know, that using Scala code is not that nice (and we are internally also thinking of rewriting that part of the code base - refs JabRef/jabref#3644)
The text was updated successfully, but these errors were encountered:
I ran into the following output:
What needs to be done there? 😅
Naively, I would say, use latex2unicode to handle these cases, because UniCode is really widespread these days. But I know, that using Scala code is not that nice (and we are internally also thinking of rewriting that part of the code base - refs JabRef/jabref#3644)
The text was updated successfully, but these errors were encountered: