X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fnotation%2Fconstructors%2Fdxabbr_2.ma;h=57b921a888d0fe2bd9fd9d8a490e8aa6e0e884aa;hb=be2870b722324a1813ac9e72ebcb2cda6c8733d7;hp=afd2f189242421edff40af9022f3ac8ae4d7ec27;hpb=65008df95049eb835941ffea1aa682c9253c4c2b;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxabbr_2.ma b/matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxabbr_2.ma
index afd2f1892..57b921a88 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxabbr_2.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxabbr_2.ma
@@ -14,6 +14,6 @@
 
 (* NOTATION FOR THE FORMAL SYSTEM λδ ****************************************)
 
-notation "hvbox( T1 . break ⓓ T2 )"
- left associative with precedence 48
- for @{ 'DxAbbr $T1 $T2 }.
+notation "hvbox( L . break ⓓ T1 )"
+ left associative with precedence 50
+ for @{ 'DxAbbr $L $T1 }.