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

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

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

Douglas Lewan-2
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
[hidden email]
(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