Open dlintw opened 1 year ago
Hi @dlintw Can you please make a list of symbols that you have problems with?
Following the link, I see a lot of symbols and it will be hard to support them all. So to understand your request better, I need to know the exact number of symbols requested, and can they can be separated in groups and given priority depending on their importance/frequency of usage.
I haven't a clear idea about this. Maybe require more Julia expert to decide which symbols are important. I guess those operators may require included. Maybe from JetBrain's Julia customer survey may get a proper listing.
https://github.com/JuliaLang/julia/blob/master/stdlib/REPL/src/latex_symbols.jl
In Julia language, it support to typing those latex symbols and convert it to the relative unicode font. I found some symbols can not correct display in JetBrainsMono font,