Kyungdahm Yun

Oops, there was a typo. The last part has been updated with new results.

A bit more testing: ``` julia> R"α" α ``` ``` julia> R"αα" Error showing value of type RExpr: ERROR: Reduce: Declare α operator ? (Y or N) Type Y or...

That sounds fair. By the way, I came across with your old [conversation](https://sourceforge.net/p/reduce-algebra/discussion/899365/thread/5b0447af/) on this issue and a workaround mentioned there seems to work for me. ``` julia> codepoint('α') 0x000003b1...

FYI, single option menu for REPL.TerminalMenus just got merged (likely available with Julia 1.6+): JuliaLang/julia#36369