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

diff --git a/matita/matita/predefined_virtuals.ml b/matita/matita/predefined_virtuals.ml
index 1ee9d29e0..1ec7f4878 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 = [
  ["⇕"; "⇳"; "⬍"; "↕"; ];
  ["↔"; "⇔"; "⬄"; "⬌"; ] ; 
  ["≤"; "≲"; "≼"; "≰"; "≴"; "⋠"; "⊆"; "⫃"; "⊑"; ] ;
- ["_"; "↓"; "↙"; "⇣"; "⇃"; "⇂"; "⎽"; "⎼"; "⎻"; "⎺"; "▿"; ];
+ ["_"; "↓"; "↙"; "⇣"; "⇃"; "⇂"; "↳"; "⎽"; "⎼"; "⎻"; "⎺"; "▿"; ];
  ["<"; "≺"; "≮"; "⊀"; "〈"; "«"; "❬"; "❮"; "❰"; ] ;
  ["("; "❨"; "❪"; "❲"; "（"; ];
  [")"; "❩"; "❫"; "❳"; "）"; ];
@@ -1531,7 +1532,7 @@ let predefined_classes = [
  ["{"; "❴"; "⦃" ] ;
  ["}"; "❵"; "⦄" ] ;
  ["□"; "◽"; "▪"; "◾"; ];
- ["◊"; "⬦"; "♢"; "⧫"; "♦"; "⟐"; "⟠"; ] ;
+ ["◊"; "⬦"; "♢"; "◆"; "⧫"; "♦"; "⟐"; "⟠"; ] ;
  [">"; "⭃"; "⧁"; "〉"; "»"; "❭"; "❯"; "❱"; "▸"; "►"; "▶"; "⊃"; "⊐"; ] ;
  ["≥"; "⪀"; "≽"; "⪴"; "⥸"; "⊒"; ]; 
  ["∨"; "⩖"; "∪"; "∩"; "⋓"; "⋒" ] ;