From 7452975932449503a1300bde77a13cf027e0a977 Mon Sep 17 00:00:00 2001
From: Yu Cong <sxlxcsxlxc@gmail.com>
Date: Tue, 31 Mar 2026 17:10:03 +0800
Subject: [PATCH] Update markdown.json

---
 zed/snippets/markdown.json | 29 ++++++++++++++++++++++++++++-
 1 file changed, 28 insertions(+), 1 deletion(-)

diff --git a/zed/snippets/markdown.json b/zed/snippets/markdown.json
index a531881..2ed7db7 100644
--- a/zed/snippets/markdown.json
+++ b/zed/snippets/markdown.json
@@ -32,5 +32,32 @@
 			"</details>"
 		],
 		"description": "details"
-	}
+	},
+	"thm": {
+		"prefix": "thm",
+		"body": [
+			"::: Theorem",
+			"$0",
+			":::"
+		],
+		"description": "theorem fenced div -- pandoc markdown"
+	},
+	"lem": {
+		"prefix": "lem",
+		"body": [
+			"::: Lemma",
+			"$0",
+			":::"
+		],
+		"description": "lemma fenced div -- pandoc markdown"
+	},
+	"proof": {
+		"prefix": "proof",
+		"body": [
+			"::: Proof",
+			"$0",
+			":::"
+		],
+		"description": "proof fenced div -- pandoc markdown"
+	},
 }
\ No newline at end of file