X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fpredefined_virtuals.ml;fp=matita%2Fmatita%2Fpredefined_virtuals.ml;h=548bb9a931f8119b26d53c3a542c4a37919e36d6;hb=55ea9387fd71564c629fe3f47fd9bac59c4befb9;hp=7656dc68c240f516dbf6ade102046239d29e2f8e;hpb=ab63ef8e3b4029307eea9646b099c04a1d499653;p=helm.git

diff --git a/matita/matita/predefined_virtuals.ml b/matita/matita/predefined_virtuals.ml
index 7656dc68c..548bb9a93 100644
--- a/matita/matita/predefined_virtuals.ml
+++ b/matita/matita/predefined_virtuals.ml
@@ -1574,7 +1574,7 @@ let predefined_classes = [
  ["s"; "σ"; "ς"; "𝕤"; "𝐬"; "𝛔"; "ⓢ"; ] ;
  ["S"; "Σ"; "𝕊"; "𝐒"; "𝚺"; "Ⓢ"; "𝗦"; ] ;
  ["t"; "τ"; "𝕥"; "𝐭"; "𝛕"; "ⓣ"; ] ;
- ["T"; "𝕋"; "𝐓"; "Ⓣ"; "⊥"; ] ;
+ ["T"; "𝕋"; "𝐓"; "Ⓣ"; "Ƭ"; "⊥"; ] ;
  ["u"; "𝕦"; "𝐮"; "ⓤ"; ] ;
  ["U"; "𝕌"; "𝐔"; "Ⓤ"; ] ;
  ["v"; "ν"; "𝕧"; "𝐯"; "𝛖"; "𝛎"; "ⓥ"; "▼"; ] ;