/tex2unicode

command line tool converting TeX symbol names into UTF-8 characters

Primary LanguageC

Stargazers