Merge pull request #224 from PatrickMassot/patch-2

translations: adapt to new measure theory notation
leanprover · Aug 24, 2020 · 205b8bc · 205b8bc
2 parents a03bb89 + fa8b0e9
commit 205b8bc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/translations.json b/translations.json
@@ -291,8 +291,8 @@
     "all": "∀",
     "allf": "∀ᶠ",
     "all^f": "∀ᶠ",
-    "allm": "∀ₘ",
-    "all_m": "∀ₘ",
+    "allm": "∀ᵐ",
+    "all^m": "∀ᵐ",
     "alpha": "α",
     "aleph": "ℵ",
     "asterisk": "⁎",