diff options
| author | Marvin Borner | 2022-08-31 17:13:17 +0200 |
|---|---|---|
| committer | Marvin Borner | 2022-08-31 17:13:17 +0200 |
| commit | 545ef6ade19f362ea1603bc17fd5a50794628d71 (patch) | |
| tree | 76a6447481e1ed79d18514d23635d28b332f485e /editors/vim | |
| parent | f52acf811f51657a16ca8514f01345187e722111 (diff) | |
Even more unicodes
Diffstat (limited to 'editors/vim')
| -rw-r--r-- | editors/vim/bruijn.snippets | 58 |
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 |