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