From 635e12dafc6a959e45743853eb4ad610b2cb03d1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Madeleine=20Sydney=20=C5=9Alaga?= Date: Fri, 9 Jan 2026 09:16:16 -0700 Subject: [PATCH] feat(emacs): agda-input \\inv command --- modules/home/users/msyds/emacs/lisp/syd/agda.el | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/modules/home/users/msyds/emacs/lisp/syd/agda.el b/modules/home/users/msyds/emacs/lisp/syd/agda.el index ea14628..d8a4f43 100755 --- a/modules/home/users/msyds/emacs/lisp/syd/agda.el +++ b/modules/home/users/msyds/emacs/lisp/syd/agda.el @@ -120,7 +120,9 @@ agda2-info-buffer) (syd-handle 'agda2-mode - :docs #'syd-agda-lookup-documentation)) + :docs #'syd-agda-lookup-documentation) + (setq agda-input-user-translations + '(("inv" "⁻¹")))) (with-eval-after-load 'agda2-highlight (set-face-attribute