[jaster]

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/