X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fpredefined_virtuals.ml;h=91b69fc6cef27905b8b62282dd3a88f1c65d7723;hb=106b25f0206beedc4e416d223accb1308ca7161b;hp=643f7c5ef4d2e7833626f60e7e7186730eda33fb;hpb=16f6bb96f5b619370e67700fbf4aae5abef05c94;p=helm.git

diff --git a/matita/matita/predefined_virtuals.ml b/matita/matita/predefined_virtuals.ml
index 643f7c5ef..91b69fc6c 100644
--- a/matita/matita/predefined_virtuals.ml
+++ b/matita/matita/predefined_virtuals.ml
@@ -1517,6 +1517,7 @@ let predefined_classes = [
  ["^"; "↑"; ] ;
  ["⇑"; "⇧"; "⬆"; ] ; 
  ["⇓"; "⇩"; "⬇"; "⬊"; "➷"; ] ;
+ ["⇕"; "⇳"; "⬍"; ];
  ["↔"; "⇔"; "⬄"; "⬌"; ] ; 
  ["≤"; "≲"; "≼"; "≰"; "≴"; "⋠"; "⊆"; "⫃"; "⊑"; ];
  ["_"; "↓"; "↙"; "⎽"; "⎼"; "⎻"; "⎺"; ];