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

[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



reply via email to

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