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

diff --git a/matita/matita/predefined_virtuals.ml b/matita/matita/predefined_virtuals.ml
index 59df30532..88f58f4ea 100644
--- a/matita/matita/predefined_virtuals.ml
+++ b/matita/matita/predefined_virtuals.ml
@@ -1503,6 +1503,7 @@ let load_predefined_virtuals () =
 ;;
 
 let predefined_classes = [
+ ["@"; "ï¼ "; ];
  ["*"; "∗"; ];
  ["/"; "⧸"; ];
  ["&"; "⅋"; ];
@@ -1532,7 +1533,7 @@ let predefined_classes = [
  ["{"; "❴"; "⦃" ] ;
  ["}"; "❵"; "⦄" ] ;
  ["□"; "◽"; "▪"; "◾"; ];
- ["◊"; "⬦"; "♢"; "⧫"; "♦"; "⟐"; "⟠"; ] ;
+ ["◊"; "⬦"; "♢"; "◆"; "⧫"; "♦"; "⟐"; "⟠"; ] ;
  [">"; "⭃"; "⧁"; "〉"; "»"; "❭"; "❯"; "❱"; "▸"; "►"; "▶"; "⊃"; "⊐"; ] ;
  ["≥"; "⪀"; "≽"; "⪴"; "⥸"; "⊒"; ]; 
  ["∨"; "⩖"; "∪"; "∩"; "⋓"; "⋒" ] ;