search

SimonDanisch / UnicodeFun.jl

Functions to transform text into unicode symbols, e.g. latex --> unicode
Other
33 stars 7 forks source link

Relying on REPL for LaTeX codemap #19

Open asinghvi17 opened 4 years ago

asinghvi17 commented 4 years ago 
REPL.symbols_latex |> collect .|> (x -> (x[2][2:end] => x[1])) |> x -> Dict(x...)

will collect the entire REPL latex-completion list, and may be more robust than the hard-coded list we have currently? Not sure if this is needed, just putting it out there.

SimonDanisch commented 4 years ago

Sounds like a good idea ;)