3 ms·I see I'm not the only one that uses the Julia REPL to get unicode characters!by rrock 8y agoI see I'm not the only one that uses the Julia REPL to get unicode characters!