[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
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- How do you Insert a utf-8 character with more than 10 completions?,
Douglas Lewan <=