|
| From: | Stefan Monnier |
| Subject: | Re: input methods for mathematical glyphs |
| Date: | Wed, 08 Dec 2021 15:42:55 -0500 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
> 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
| [Prev in Thread] | Current Thread | [Next in Thread] |