renaming ...

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / notation / constructors / snbind2_4.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snbind2_4.ma b/matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snbind2_4.ma
index ceae73562dfd1a329fd91894e56fc239ead6905b..40804a3597e80ee411aa5febc26d16db69d8fee8 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snbind2_4.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snbind2_4.ma
@@ -14,6 +14,6 @@
 
 (* NOTATION FOR THE FORMAL SYSTEM λδ ****************************************)
 
-notation "hvbox( ⓑ { term 46 a , break term 46 I } break term 55 T1 . break term 55 T )"
+notation "hvbox( ⓑ { term 46 p , break term 46 I } break term 55 T1 . break term 55 T )"
  non associative with precedence 55
- for @{ 'SnBind2 $a $I $T1 $T }.
+ for @{ 'SnBind2 $p $I $T1 $T }.