chore: update abbreviations.json (#44)

leanprover-community · Jul 13, 2023 · d1c9364 · d1c9364
1 parent 4bfa9d3
commit d1c9364
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/data/abbreviations.json b/data/abbreviations.json
@@ -429,6 +429,8 @@
   "to_s": "→ₛ",
   "r_s": "→ₛ",
   "simplefunc": "→ₛ",
+  "heyting": "⇨",
+  "himp": "⇨",
   "covers": "⋖",
   "covby": "⋖",
   "wcovby": "⩿",