X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Flib%2Fbasics%2Fcore_notation.ma;h=098b5d419d4f1620db3ca6e21ff3f96e3a996c80;hb=42680d47c033d751738fd0f84af7b45b2a91a5b8;hp=cdb49737164e1264fc8f67bf74f683f107abda6d;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/matita/lib/basics/core_notation.ma b/matitaB/matita/lib/basics/core_notation.ma
index cdb497371..098b5d419 100644
--- a/matitaB/matita/lib/basics/core_notation.ma
+++ b/matitaB/matita/lib/basics/core_notation.ma
@@ -2,7 +2,7 @@
 
 notation "hvbox(∃ _ break . p)"
  with precedence 20
-for @{'exists $p }.
+for @{'exists $p }. 
 
 notation < "hvbox(\exists ident i : ty break . p)"
  right associative with precedence 20