How do you Insert a utf-8 character with more than 10 completions?

[Douglas Lewan]

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:

Possible completion and corresponding characters are:
 \eq:(1/4) 1.= 2.∼ 3.∽ 4.≈ 5.≋ 6.∻ 7.∾ 8.∿ 9.≀ 0.≃
     (2/4) 1.⋍ 2.≂ 3.≅ 4.≌ 5.≊ 6.≡ 7.≣ 8.≐ 9.≑ 0.≒
     (3/4) 1.≓ 2.≔ 3.≕ 4.≖ 5.≗ 6.≘ 7.≙ 8.≚ 9.≛ 0.≜
     (4/4) 1.≝ 2.≞ 3.≟ 4.≍ 5.≎ 6.≏ 7.≬ 8.⋕
   \eqn:(1/1) 1.≠ 2.≁ 3.≉ 4.≄ 5.≇ 6.≆ 7.≢ 8.≭
   \eqc: -
     \eqci: -
       \eqcir: -
         \eqcirc:(1/1) 1.≖
     \eqco: -
       \eqcol: -
         \eqcolo: -
   \eqs: -
     \eqsl: -
       \eqsla: -
         \eqslan: -
   \equ: -
     \equi: -
       \equiv:(1/1) 1.≡

It's easy to select from set (1/4), but I have no idea how to select 
ffrom (2/4), etc. The info doesn't help me, can you?

Thanks.

--
,Doug
d.lewan2000@gmail.com
(908) 720 7908

Would you could you in a box?
Would you could you live on Fox?
Will you give me dirt on Joe?
Will you do the quid pro quo?
 - Steven Colbert (or one of his writers), 2019 Nov 13