feat: add span abbreviation (#447)

Adds an abbreviation "span" for the Uncode "∙" used in "Mathlib/LinearAlgebra/Span.lean" See https://leanprover.zulipchat.com/#narrow/stream/113489-new-members/topic/Show.20the.20basis.20vectors.20of.20R.5En.20sum.20to.20R.5En/near/439392547
leanprover · May 21, 2024 · 3f67fd6 · 3f67fd6
1 parent 9eaf1b6
commit 3f67fd6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/vscode-lean4/src/abbreviation/abbreviations.json b/vscode-lean4/src/abbreviation/abbreviations.json
@@ -777,6 +777,7 @@
     "straightphi": "φ",
     "st": "⋆",
     "spesmilo": "₷",
+    "span": "∙",
     "spadesuit": "♠",
     "sphericalangle": "∢",
     "section": "§",