Update abbreviations.json (#57)

leanprover-community · Mar 6, 2024 · c20a2a9 · c20a2a9
1 parent c67803e
commit c20a2a9
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/data/abbreviations.json b/data/abbreviations.json
@@ -893,6 +893,8 @@
   "|-": "⊢",
   "|=n": "⊭",
   "|=": "⊨",
+  "|->": "↦",
+  "|=>": "⇰",
   "||-n": "⊮",
   "||-": "⊩",
   "||=n": "⊯",