3 ms·
Julia has this too. https://docs.julialang.org/en/v1/manual/unicode-input/ https://docs.julialang.org/en/v1/manual/unicode-input/ and https://riptutorial.com/ju
by notagoodidea 6y ago
Julia has this too. https://docs.julialang.org/en/v1/manual/unicode-input/ https://docs.julialang.org/en/v1/manual/unicode-input/ and https://riptutorial.com/julia-lang/example/19760/standard-operators https://riptutorial.com/julia-lang/example/19760/standard-op... .
- FridgeSeal 6y agoI was going to mention Julia. Not only does it have it, it has it in (what I feel) is a really accessible way. Seen a symbol and you don't know what it is or how to reproduce it? Enter "?" and paste them symbol into the repl and it'll tell you what's it's called, the shortcut to make it, what it does, and the equivalent non-symbol function name.
- dTal 6y agoAnd while not exactly what the parent asked for, the recently released "JuliaMono" font has ligatures for several common combos - including the right arrow - which amounts to practically the same thing: https://juliamono.netlify.app/ https://juliamono.netlify.app/