From e538cf1fdfbe2a85e264530e577a7a55e32c0c17 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9ana=20=E6=B1=9F?= <leana.jiang+git@icloud.com>
Date: Sun, 25 Jan 2026 15:24:17 +0100
Subject: [PATCH] nvim/agda: document how to find new symbols

---
 .config/nvim/ftplugin/agda.vim | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.config/nvim/ftplugin/agda.vim b/.config/nvim/ftplugin/agda.vim
index 9038d60a..6a5dbec8 100644
--- a/.config/nvim/ftplugin/agda.vim
+++ b/.config/nvim/ftplugin/agda.vim
@@ -2,6 +2,9 @@
 " https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.VIMEditing#:~:text=agda%2Dutf8%2Evim
 " (Link is dead so use wayback machine)
 
+" To add more
+" https://www.compart.com/en/unicode/
+
 " Superscripts
 imap <buffer> \^0 ⁰
 imap <buffer> \^1 ¹