search

golopot / tex-to-unicode

A browser extension to convert TeX to Unicode in browser inputs.
https://golopot.github.io/tex-to-unicode/
MIT License
61 stars 7 forks source link

source of tex/unicode mapping? #6

Closed jpreiss closed 6 years ago

jpreiss commented 6 years ago

Hi, I am making a command line tool implementing tex-to-unicode functionality. I copied the symbol table from your symbols.js and I would like to attribute the original source. Did you assemble it yourself or get it from somewhere else? Thanks!

golopot commented 6 years ago

I assembled it from multiple sources so it is hard to find a source that resemble this file.

jpreiss commented 6 years ago

Ok thanks, I will cite you.

On Mon, Oct 22, 2018, 7:03 PM golopot notifications@github.com wrote:

I assembled it from multiple sources so it is hard to find a source that resemble this file.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/golopot/tex-to-unicode/issues/6#issuecomment-432058942, or mute the thread https://github.com/notifications/unsubscribe-auth/ABiBefF9hiJpEH-BMfmhA-cLFtQ9EoMyks5unnkJgaJpZM4X0cbt .