3 ms·
The REPL (and most tooling I think) supports LaTeX-like abbreviations that autocomplete to the corresponding Unicode symbol, so no need for a special keyboard.
by jaster 6y ago
The REPL (and most tooling I think) supports LaTeX-like abbreviations that autocomplete to the corresponding Unicode symbol, so no need for a special keyboard.
See here https://docs.julialang.org/en/v1/manual/unicode-input/ https://docs.julialang.org/en/v1/manual/unicode-input/