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