Use the same \mu character that the REPL produces with \mu-TAB