translations: adapt to new measure theory notation

leanprover · Aug 24, 2020 · fa8b0e9 · fa8b0e9
1 parent a03bb89
commit fa8b0e9
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": "⁎",