feat: More arrows (#399)

Add "⇰", and also "|->" as an alias for "mapsto" Co-authored-by: Phil Nguyen <[email protected]>
leanprover · Feb 26, 2024 · 19afab2 · 19afab2
1 parent 9434a06
commit 19afab2
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/vscode-lean4/src/abbreviation/abbreviations.json b/vscode-lean4/src/abbreviation/abbreviations.json
@@ -910,6 +910,8 @@
     "|-": "⊢",
     "|=n": "⊭",
     "|=": "⊨",
+    "|->" : "↦",
+    "|=>" : "⇰",
     "||-n": "⊮",
     "||-": "⊩",
     "||=n": "⊯",