What is the criterion to be adopted in Unicode Input in Julia REPL?
The list (Unicode Input · The Julia Language) shows most of the famous LaTeX completion sequences are supported but some alternative names (such as \lor and \land) are not.
Instead of \land and \lor we use \wedge and \vee provided by
I know \wedge = \vee and \land = \lor but my question is why some synonyms are adopted but not completed for all. I think to understand it I need to know the criterion to be supported or the history of the implementation.
The code used to generate the list of symbols can be found here:
https://github.com/JuliaLang/julia/blob/67cdc550a0c5d615c4071b7fae12caaf85d01e30/stdlib/REPL/src/latex_symbols.jl
1 Like
I am not aware of an expicit policy, my impression is that these things are decided on a case by case basis. You can see some past and current discussions here:
Opening an issue cannot hurt.
2 Likes