1 files changed, 55 insertions, 3 deletions

diff --git a/editors/vim/bruijn.snippets b/editors/vim/bruijn.snippets
index f0bd285..b5b30ed 100644
--- a/editors/vim/bruijn.snippets
+++ b/editors/vim/bruijn.snippets
@@ -6,10 +6,10 @@ priority 0
 # === Definition snippets === 
 
 snippet "(.+)>" "" r
-`!p snip.rv = match.group(1)`‣ $0
+`!p snip.rv = match.group(1)`‣$0
 endsnippet
 
-snippet "(.*)\." "" r
+snippet "(.*)\?" "" r
 `!p snip.rv = match.group(1)`…$0
 endsnippet
 
@@ -23,6 +23,34 @@ snippet "(.*)\|\|" "" r
 `!p snip.rv = match.group(1)`⋁$0
 endsnippet
 
+snippet "(.*)sum" "" r
+`!p snip.rv = match.group(1)`∑$0
+endsnippet
+
+snippet "(.*)prod" "" r
+`!p snip.rv = match.group(1)`∏$0
+endsnippet
+
+snippet "(.*)rprod" "" r
+`!p snip.rv = match.group(1)`∐$0
+endsnippet
+
+snippet "(.*)infty" "" r
+`!p snip.rv = match.group(1)`∞$0
+endsnippet
+
+snippet "(.*)\." "" r
+`!p snip.rv = match.group(1)`∘$0
+endsnippet
+
+snippet "(.*)\*" "" r
+`!p snip.rv = match.group(1)`⋅$0
+endsnippet
+
+snippet "(.*)\*\*" "" r
+`!p snip.rv = match.group(1)`⋆$0
+endsnippet
+
 snippet "(.*)=>" "" r
 `!p snip.rv = match.group(1)`⇒$0
 endsnippet
@@ -39,6 +67,30 @@ snippet "(.*)<->" "" r
 `!p snip.rv = match.group(1)`↔$0
 endsnippet
 
+snippet "(.*)-\^" "" r
+`!p snip.rv = match.group(1)`↑$0
+endsnippet
+
+snippet "(.*)::" "" r
+`!p snip.rv = match.group(1)`∷$0
+endsnippet
+
+snippet "(.*)bra" "" r
+`!p snip.rv = match.group(1)`⟨$0
+endsnippet
+
+snippet "(.*)ket" "" r
+`!p snip.rv = match.group(1)`⟩$0
+endsnippet
+
+snippet "(.*)bbra" "" r
+`!p snip.rv = match.group(1)`⟪$0
+endsnippet
+
+snippet "(.*)kket" "" r
+`!p snip.rv = match.group(1)`⟫$0
+endsnippet
+
 snippet "(.*)<=" "" r
 `!p snip.rv = match.group(1)`≤$0
 endsnippet
@@ -151,7 +203,7 @@ snippet "(.*)\^9" "" r
 `!p snip.rv = match.group(1)`⁹$0
 endsnippet
 
-snippet "(.*)\^+" "" r
+snippet "(.*)\^\+" "" r
 `!p snip.rv = match.group(1)`⁺$0
 endsnippet