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