X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fpredefined_virtuals.ml;h=3b04c75b360f5991972459a7b301fe42ad20f8fb;hb=685c36442ffed93a7bb0de464d35478821884c77;hp=91b69fc6cef27905b8b62282dd3a88f1c65d7723;hpb=33f8507cadd3b36dc9afa227d8968dda66fe2034;p=helm.git

diff --git a/matita/matita/predefined_virtuals.ml b/matita/matita/predefined_virtuals.ml
index 91b69fc6c..3b04c75b3 100644
--- a/matita/matita/predefined_virtuals.ml
+++ b/matita/matita/predefined_virtuals.ml
@@ -1524,8 +1524,8 @@ let predefined_classes = [
  ["<"; "≺"; "≮"; "⊀"; "〈"; "«"; "❬"; "❮"; "❰"; ] ;
  ["("; "❨"; "❪"; "❲"; "（"; ];
  [")"; "❩"; "❫"; "❳"; "）"; ];
- ["["; "〚"; ] ;
- ["]"; "〛"; ] ;
+ ["["; "⦋"; "〚"; ] ;
+ ["]"; "⦌"; "〛"; ] ;
  ["{"; "❴"; "⦃" ] ;
  ["}"; "❵"; "⦄" ] ;
  ["□"; "◽"; "▪"; "◾"; ];