X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Fdama%2Fdama_didactic%2Freals.ma;h=1474d4b7d01deb80989b7b0f151f278b47531397;hb=2ba7ef901a6b72210692792f2396c08bc0cff52c;hp=4dffb53fb45000d9ea2bc76524486d5b36e5d90d;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/contribs/dama/dama_didactic/reals.ma b/matita/matita/contribs/dama/dama_didactic/reals.ma
index 4dffb53fb..1474d4b7d 100644
--- a/matita/matita/contribs/dama/dama_didactic/reals.ma
+++ b/matita/matita/contribs/dama/dama_didactic/reals.ma
@@ -32,7 +32,7 @@ interpretation "real plus" 'plus x y = (Rplus x y).
 interpretation "real opp" 'uminus x = (Ropp x). 
 
 notation "hvbox(a break · b)"
-  right associative with precedence 55
+  right associative with precedence 60
 for @{ 'mult $a $b }.
 
 interpretation "real mult" 'mult x y = (Rmult x y).