2 lift related bugs fixed!

[helm.git] / helm / software / matita / predefined_virtuals.ml

diff --git a/helm/software/matita/predefined_virtuals.ml b/helm/software/matita/predefined_virtuals.ml
index 31d6e849997fec1ace96d6843fd62d9b96690a06..bb1bc8d20abf9b077f498eac05897d39476a1703 100644 (file)
--- a/helm/software/matita/predefined_virtuals.ml
+++ b/helm/software/matita/predefined_virtuals.ml
@@ -1506,10 +1506,14 @@ let predefined_classes = [
  ["→"; "⇉"; "⇒"; "⇝"; "⇾"; "⤍"; "⤏"; "⤳"; "⥤"; "⥰"; ] ;
  ["≤"; "≲"; "≼"; "≰"; "≴"; "⋠"; ];
  ["_" ; "⎽"; "⎼"; "⎻"; "⎺"; ];
- ["<"; "≺"; "≮"; "⊀"; "〈"; "«"; ] ;
+ ["<"; "≺"; "≮"; "⊀"; "〈"; "«"; "❬"; "❮"; "❰";] ;
+ ["("; "❨"; "❪"; "❲"; "（"; ];
+ [")"; "❩"; "❫"; "❳"; "）"; ]; 
+ ["{"; "❴";];
+ ["}"; "❵";];
  ["□"; "◽"; "▪"; "◾"; ];
  ["◊"; "♢"; "⧫"; "♦"; ];
- [">"; "〉"; "»"; ];       
+ [">"; "〉"; "»"; "❭"; "❯"; "❱"; ];       
  ["a"; "α"; "𝕒"; "𝐚";] ;
  ["A"; "ℵ"; "𝔸"; "𝐀";] ;
  ["b"; "β"; "ß"; "𝕓"; "𝐛"; ] ;