diff --git a/vscode-lean4/src/abbreviation/abbreviations.json b/vscode-lean4/src/abbreviation/abbreviations.json
index 3b9a5dc10..326b54d86 100644
--- 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": "§",