Update

2025-07-31 08:57:16 +02:00
parent 8564daf4b5
commit 3db17f9849
2 changed files with 14 additions and 3 deletions
--- a/UltiSnips/lean.snippets
+++ b/UltiSnips/lean.snippets
@@ -6,6 +6,14 @@ snippet <> "Add sharp brackets"
 ⟨$1⟩$0
 endsnippet

+snippet | "dvd"
+∣
+endsnippet
+
+snippet () "Braces"
+($1)$0
+endsnippet
+
 # Mengen
 snippet N "Natural number"
 ℕ
@@ -15,6 +23,9 @@ snippet Z "Whole numbers"
 ℤ
 endsnippet

+snippet R "Real"
+ℝ
+endsnippet

 # Quantoren
 snippet E "Exists"