help-gnu-emacs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Douglas Lewan
Subject: How do you Insert a utf-8 character with more than 10 completions?
Date: Wed, 20 Nov 2019 16:25:08 -0500
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.8.0

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
address@hidden
(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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]