From fb571b39602fa709e31085fbbef697ef2a1a4fce Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Madeleine=20Sydney=20=C5=9Alaga?= <msyds@deertopia.net>
Date: Sun, 23 Nov 2025 07:30:27 -0700
Subject: [PATCH] feat(emacs): equational reasoning snippet

---
 .../msyds/emacs/snippets/agda2-mode/Equational reasoning   | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 modules/home/users/msyds/emacs/snippets/agda2-mode/Equational reasoning

diff --git a/modules/home/users/msyds/emacs/snippets/agda2-mode/Equational reasoning b/modules/home/users/msyds/emacs/snippets/agda2-mode/Equational reasoning
new file mode 100644
index 0000000..bd6b0aa
--- /dev/null
+++ b/modules/home/users/msyds/emacs/snippets/agda2-mode/Equational reasoning	
@@ -0,0 +1,7 @@
+# -*- mode: snippet -*-
+# name: Equational reasoning
+# key: eq
+# expand-env: ((yas-indent-line 'fixed))
+# --
+? ≡⟨ ? ⟩
+? ∎
\ No newline at end of file