update in delayed_updating

[helm.git] / matita / matita / predefined_virtuals.ml

diff --git a/matita/matita/predefined_virtuals.ml b/matita/matita/predefined_virtuals.ml
index 548bb9a931f8119b26d53c3a542c4a37919e36d6..2ec69e63f23b7b0e55cbc6ea927b3c9e871e8d44 100644 (file)
--- a/matita/matita/predefined_virtuals.ml
+++ b/matita/matita/predefined_virtuals.ml
@@ -1559,7 +1559,7 @@ let predefined_classes = [
  ["K"; "𝕂"; "𝐊"; "Ⓚ"; ] ;
  ["l"; "λ"; "𝕝"; "𝐥"; "𝛌"; "ⓛ"; ] ;
  ["L"; "Λ"; "𝕃"; "𝐋"; "𝚲"; "Ⓛ"; "𝗟"; ] ;
- ["m"; "μ"; "𝕞"; "𝐦"; "𝛍"; "ⓜ"; ] ;
+ ["m"; "μ"; "𝕞"; "𝐦"; "𝛍"; "ⓜ"; "𝗺"; "ɱ"; ] ;
  ["M"; "ℳ"; "𝕄"; "𝐌"; "Ⓜ"; ] ;
  ["n"; "𝕟"; "𝐧"; "𝛈"; "ⓝ"; ] ;
  ["N"; "ℕ"; "№"; "𝐍"; "Ⓝ"; ] ;