やっぱり続くよ勝手に回答。今回は How to custom unicode completions?。いつものDiscourse julialangからの質問です。
というか後数時間も経つといっぱい回答が出てると思いますが…
Julia言語のREPLのunicode補完をカスタマイズしたいんだけど，どうしたらいい?的な質問です。
質問の場合だと次のような感じでしょうか7
import REPL REPL.REPLCompletions.latex_symbols["\\doubleflat"] = "𝄫" REPL.REPLCompletions.latex_symbols["\\doublesharp"] = "𝄪"
なお，Google日本語入力で実現する方法は私の日記のJuliaのREPL上のLaTeX入力をMozc(Google日本語入力)で実現する に情報があります。
