How do you Insert a utf-8 character with more than 10 completions?
The subject really says it all, but here's some more specific information.
I'm trying to learn a little agda and you input many utf-8 characters
with agda-mode (not surprisingly). However, many the input mode
typically requires a selection from a list. For example, the input \eq.
if you type \eq<TAB> you get the following completion buffer: