X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fpredefined_virtuals.ml;h=4ca3542b6b8d256928ea6082f5ef2b97bf76ad46;hb=6302e8ebc63beb73aa672c9c23199bdfaa3f8715;hp=a3168f367754202ffea85cd56a48a90a576c61bb;hpb=c3cfdde4c39127ca1574257773702d2c3b02a08d;p=helm.git

diff --git a/helm/software/matita/predefined_virtuals.ml b/helm/software/matita/predefined_virtuals.ml
index a3168f367..4ca3542b6 100644
--- a/helm/software/matita/predefined_virtuals.ml
+++ b/helm/software/matita/predefined_virtuals.ml
@@ -714,7 +714,7 @@ let predefined_virtuals = [
  ["\\wedgeq"                                         ], "≙", [equivalence];
  ["\\veeeq"                                          ], "≚", [equivalence];
  ["\\trie"; "\\triangleq"                             ], "≜", [equivalence];
- ["\\def"                                            ], "≝", [equivalence];
+ ["\\def";":=" ], "≝", [equivalence];
  ["\\equest"; "\\questeq"                             ], "≟", [equivalence];
  ["\\ne"; "\\neq"; "\\NotEqual"                        ], "≠", [equivalence];
  ["\\equiv"; "\\Congruent"                            ], "≡", [equivalence];