X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fpredefined_virtuals.ml;fp=matita%2Fmatita%2Fpredefined_virtuals.ml;h=59df305320ebbf6cf06871e6ddd374419b15a3d5;hb=d59f1c74c62ad3706d50707bb68758d88fbed006;hp=1ee9d29e0bca9a91027ff72e28aeed392fcd9bf5;hpb=8c6e4521acc9dad59b3ceebae66ce5e7a63a7c44;p=helm.git

diff --git a/matita/matita/predefined_virtuals.ml b/matita/matita/predefined_virtuals.ml
index 1ee9d29e0..59df30532 100644
--- a/matita/matita/predefined_virtuals.ml
+++ b/matita/matita/predefined_virtuals.ml
@@ -1503,6 +1503,7 @@ let load_predefined_virtuals () =
 ;;
 
 let predefined_classes = [
+ ["*"; "∗"; ];
  ["/"; "⧸"; ];
  ["&"; "⅋"; ];
  ["|"; "❘"; "∥"; ];
@@ -1522,7 +1523,7 @@ let predefined_classes = [
  ["⇕"; "⇳"; "⬍"; "↕"; ];
  ["↔"; "⇔"; "⬄"; "⬌"; ] ; 
  ["≤"; "≲"; "≼"; "≰"; "≴"; "⋠"; "⊆"; "⫃"; "⊑"; ] ;
- ["_"; "↓"; "↙"; "⇣"; "⇃"; "⇂"; "⎽"; "⎼"; "⎻"; "⎺"; "▿"; ];
+ ["_"; "↓"; "↙"; "⇣"; "⇃"; "⇂"; "↳"; "⎽"; "⎼"; "⎻"; "⎺"; "▿"; ];
  ["<"; "≺"; "≮"; "⊀"; "〈"; "«"; "❬"; "❮"; "❰"; ] ;
  ["("; "❨"; "❪"; "❲"; "（"; ];
  [")"; "❩"; "❫"; "❳"; "）"; ];