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 59df305320ebbf6cf06871e6ddd374419b15a3d5..1ec7f4878a81bbdb74bce1dead346e6e11e70d1a 100644 (file)
--- a/matita/matita/predefined_virtuals.ml
+++ b/matita/matita/predefined_virtuals.ml
@@ -1532,7 +1532,7 @@ let predefined_classes = [
  ["{"; "❴"; "⦃" ] ;
  ["}"; "❵"; "⦄" ] ;
  ["□"; "◽"; "▪"; "◾"; ];
- ["◊"; "⬦"; "♢"; "⧫"; "♦"; "⟐"; "⟠"; ] ;
+ ["â\97\8a"; "⬦"; "â\99¢"; "â\97\86"; "⧫"; "â\99¦"; "â\9f\90"; "â\9f "; ] ;
  [">"; "⭃"; "⧁"; "〉"; "»"; "❭"; "❯"; "❱"; "▸"; "►"; "▶"; "⊃"; "⊐"; ] ;
  ["≥"; "⪀"; "≽"; "⪴"; "⥸"; "⊒"; ]; 
  ["∨"; "⩖"; "∪"; "∩"; "⋓"; "⋒" ] ;