Unicode symbols on Cocalc

Stream: new members

[Vaibhav Karve]

How do I get all the unicode variants for notational symbols to show in Cocalc? For example, on emacs when I type \r (in lean-mode) I get a whole variety of symbols that I can choose from by using the <right-arrow>/<left-arrow>. How do I get these options when writing code on cocalc? Is there some shortcut/trick for this?