|
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] |