aboutsummaryrefslogtreecommitdiffhomepage
path: root/editors/vim/bruijn.snippets
diff options
context:
space:
mode:
Diffstat (limited to 'editors/vim/bruijn.snippets')
-rw-r--r--editors/vim/bruijn.snippets213
1 files changed, 213 insertions, 0 deletions
diff --git a/editors/vim/bruijn.snippets b/editors/vim/bruijn.snippets
new file mode 100644
index 0000000..35b94cf
--- /dev/null
+++ b/editors/vim/bruijn.snippets
@@ -0,0 +1,213 @@
+priority 0
+
+# === Definition snippets ===
+
+snippet "(.+)>" "prefix" r
+`!p snip.rv = match.group(1)`‣ $0
+endsnippet
+
+snippet "(.*)\." "mixfix" r
+`!p snip.rv = match.group(1)`…$0
+endsnippet
+
+# === Greek letters ===
+
+snippet Alpha
+endsnippet
+
+snippet alpha
+endsnippet
+
+snippet Beta
+endsnippet
+
+snippet beta
+endsnippet
+
+snippet Gamma
+endsnippet
+
+snippet gamma
+endsnippet
+
+snippet Delta
+endsnippet
+
+snippet delta
+endsnippet
+
+snippet Epsilon
+endsnippet
+
+snippet epsilon
+endsnippet
+
+snippet varepsilon
+endsnippet
+
+snippet Zeta
+endsnippet
+
+snippet zeta
+endsnippet
+
+snippet Eta
+endsnippet
+
+snippet eta
+endsnippet
+
+snippet Theta
+endsnippet
+
+snippet theta
+endsnippet
+
+snippet Iota
+endsnippet
+
+snippet iota
+endsnippet
+
+snippet Kappa
+endsnippet
+
+snippet kappa
+endsnippet
+
+snippet Lambda
+endsnippet
+
+snippet lambda
+endsnippet
+
+snippet Mu
+endsnippet
+
+snippet mu
+endsnippet
+
+snippet Nu
+endsnippet
+
+snippet nu
+endsnippet
+
+snippet Xi
+endsnippet
+
+snippet xi
+endsnippet
+
+snippet Omicron
+endsnippet
+
+snippet omicron
+ο
+endsnippet
+
+snippet Pi
+endsnippet
+
+snippet pi
+endsnippet
+
+snippet Rho
+endsnippet
+
+snippet rho
+endsnippet
+
+snippet Sigma
+endsnippet
+
+snippet sigma
+endsnippet
+
+snippet Tau
+endsnippet
+
+snippet tau
+endsnippet
+
+snippet Upsilon
+endsnippet
+
+snippet upsilon
+endsnippet
+
+snippet Phi
+endsnippet
+
+snippet phi
+endsnippet
+
+snippet varphi
+endsnippet
+
+snippet Chi
+endsnippet
+
+snippet chi
+endsnippet
+
+snippet Psi
+endsnippet
+
+snippet psi
+endsnippet
+
+snippet Omega
+endsnippet
+
+snippet omega
+endsnippet