some work on extended reduction ...

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

diff --git a/matita/matita/predefined_virtuals.ml b/matita/matita/predefined_virtuals.ml
index d8da251bbe17317323f76940c4a3cc82f9e55542..6cf8ab99f741ec47c27a325b99bb8dde5291a284 100644 (file)
--- a/matita/matita/predefined_virtuals.ml
+++ b/matita/matita/predefined_virtuals.ml
@@ -1504,6 +1504,7 @@ let load_predefined_virtuals () =
 
 let predefined_classes = [
  ["!"; "¡"; ]; 
+ ["?"; "¿"; "⸮"; ];
  [":"; "⁝"; ];
  ["."; "•"; "◦"; ];
  ["#"; "♯"; "⌘"; ];