diff --git a/lua/typstar/snippets/markup.lua b/lua/typstar/snippets/markup.lua
index 93af10d..bb42225 100644
--- a/lua/typstar/snippets/markup.lua
+++ b/lua/typstar/snippets/markup.lua
@@ -9,8 +9,9 @@ local snip = helper.snip
 local start = helper.start_snip
 
 local ctheorems = {
-    { 'tem', 'theorem' },
+    { 'the', 'theorem' },
     { 'pro', 'proof' },
+    { 'prp', 'proposition' },
     { 'axi', 'axiom' },
     { 'cor', 'corollary' },
     { 'lem', 'lemma' },