interim version (added smallLexer)

[helm.git] / matitaB / matita / lib / basics / core_notation.ma

diff --git a/matitaB/matita/lib/basics/core_notation.ma b/matitaB/matita/lib/basics/core_notation.ma
index cdb49737164e1264fc8f67bf74f683f107abda6d..098b5d419d4f1620db3ca6e21ff3f96e3a996c80 100644 (file)
--- 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