Update markdown.json

2026-03-31 17:10:03 +08:00
parent 52df9e3159
commit 7452975932
1 changed files with 28 additions and 1 deletions
@@ -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"
+	},
 }