X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fapps_2%2Fnotation%2Fmodels%2Fdownspoon_3.ma;h=a0e2b5fc30f9d4aca678c9625f132218af7624e4;hp=434c98e7e49fde004b51464b43fce6cabfea1930;hb=a77d0bd6a04e94f765d329d47b37d9e04d349b14;hpb=b598b37379baabef24ae511596be7f740cbb0c2e

diff --git a/matita/matita/contribs/lambdadelta/apps_2/notation/models/downspoon_3.ma b/matita/matita/contribs/lambdadelta/apps_2/notation/models/downspoon_3.ma
index 434c98e7e..a0e2b5fc3 100644
--- a/matita/matita/contribs/lambdadelta/apps_2/notation/models/downspoon_3.ma
+++ b/matita/matita/contribs/lambdadelta/apps_2/notation/models/downspoon_3.ma
@@ -16,12 +16,12 @@
 
 notation < "hvbox( â«°[ break term 46 i ] break term 46 lv )"
    non associative with precedence 46
-   for @{ 'DownSpoon $M $d $lv }.
+   for @{ 'DownSpoon $M $i $lv }.
 
 notation > "hvbox( â«°[ break term 46 i ] break term 46 lv )"
    non associative with precedence 46
-   for @{ 'DownSpoon ? $d $lv }.
+   for @{ 'DownSpoon ? $i $lv }.
 
 notation > "hvbox( â«°{ term 46 M }[ break term 46 i ] break term 46 lv )"
    non associative with precedence 46
-   for @{ 'DownSpoon $M $d $lv }.
+   for @{ 'DownSpoon $M $i $lv }.