Add new commands, docs still missing for some

vscode-snippets/tex.json

@@ -123,6 +123,24 @@
 		],
 		"description": "Inserts a tcolorbox to inform about corollaries"
 	},
+	"Proposition": {
+		"prefix": "proposition",
+		"body": [
+			"\\begin{proposition}[]{$1}",
+			"\t$2",
+			"\\end{proposition}"
+		],
+		"description": "Inserts a tcolorbox to inform about propositions"
+	},
+	"Fact": {
+		"prefix": "fact",
+		"body": [
+			"\\begin{fact}[]{$1}",
+			"\t$2",
+			"\\end{fact}"
+		],
+		"description": "Inserts a tcolorbox to inform about facts"
+	},
 	"Terms": {
 		"prefix": "terms",
 		"body": [
@@ -270,6 +288,30 @@
 			"\\shortcorollary"
 		]
 	},
+	"Proposition (inline)": {
+		"prefix": "proposition-inline",
+		"body": [
+			"\\inlineproposition"
+		]
+	},
+	"Proposition (short)": {
+		"prefix": "proposition-short",
+		"body": [
+			"\\shortproposition"
+		]
+	},
+	"Fact (inline)": {
+		"prefix": "fact-inline",
+		"body": [
+			"\\inlinefact"
+		]
+	},
+	"Fact (short)": {
+		"prefix": "fact-short",
+		"body": [
+			"\\shortfact"
+		]
+	},
 	"Axiom (inline)": {
 		"prefix": "axiom-inline",
 		"body": [
@@ -366,4 +408,4 @@
 			"\\end{document}"
 		]
 	}
-}
+}