[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: input methods for mathematical glyphs
From: |
Leo Butler |
Subject: |
Re: input methods for mathematical glyphs |
Date: |
Thu, 09 Dec 2021 08:26:44 -0600 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) |
Stefan Monnier via Users list for the GNU Emacs text editor
<help-gnu-emacs@gnu.org> writes:
>> Did you try the 'TeX' input method? AFAIK, it was invented for these
>> purposes.
>
> Also if you don't like the TeX input method, you might like to try the
> input method included in `agda2-mode`.
>
> https://github.com/agda/agda/blob/master/src/data/emacs-mode/agda-input.el
>
>
> Stefan
Stefan, thanks, I had never seen this before. You are right, I don't
like the TeX input method very much, and agda-input.el has an input
method closer to my wants.
Leo
- Re: input methods for mathematical glyphs, (continued)
- Re: input methods for mathematical glyphs, Po Lu, 2021/12/10
- Re: input methods for mathematical glyphs, Stefan Monnier, 2021/12/10
- Re: input methods for mathematical glyphs, H. Dieter Wilhelm, 2021/12/10
- Re: input methods for mathematical glyphs, Stefan Monnier, 2021/12/10
- Re: input methods for mathematical glyphs, H. Dieter Wilhelm, 2021/12/10
Re: input methods for mathematical glyphs, Leo Butler, 2021/12/08
Re: input methods for mathematical glyphs, Eli Zaretskii, 2021/12/08
Re: input methods for mathematical glyphs, Stefan Monnier, 2021/12/08
- Re: input methods for mathematical glyphs,
Leo Butler <=
Re: input methods for mathematical glyphs, Emanuel Berg, 2021/12/08
Re: input methods for mathematical glyphs, André A . Gomes, 2021/12/08
Re: input methods for mathematical glyphs, Eduardo Ochs, 2021/12/08