X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcore_notation.moo;h=8ba56a73de06f9c459c44b7ea5ec7da42dab0e9f;hb=cd664aefb80554952ed9b010f0c5199ce3a6f8f2;hp=6f5d78d033bcbd223e2ba1e36f759e0451289ab2;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/core_notation.moo b/matita/matita/core_notation.moo
index 6f5d78d03..8ba56a73d 100644
--- a/matita/matita/core_notation.moo
+++ b/matita/matita/core_notation.moo
@@ -163,7 +163,7 @@ notation "hvbox(a break \mod b)"
   left associative with precedence 55
 for @{ 'module $a $b }.
 
-notation "a \frac b" 
+notation < "a \frac b" 
   non associative with precedence 90
 for @{ 'divide $a $b }.