notational update in lambdadelta completed

[helm.git] / matita / matita / contribs / lambdadelta / apps_2 / notation / models / downspoon_3.ma

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 434c98e7e49fde004b51464b43fce6cabfea1930..a0e2b5fc30f9d4aca678c9625f132218af7624e4 100644 (file)
--- 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 }.