X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fetc%2Flsubr%2Flsubr.etc;h=c41ab19f5303574000ca6d78f6daa4eb2eaaee57;hb=ebc33b6d5b68400bc8411973ed4c9ed50d0c52a6;hp=93c31e5afcad1efc2c5f7a59ec7f7d1727eb519b;hpb=65008df95049eb835941ffea1aa682c9253c4c2b;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/lsubr.etc b/matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/lsubr.etc
index 93c31e5af..c41ab19f5 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/lsubr.etc
+++ b/matita/matita/contribs/lambdadelta/basic_2/etc/lsubr/lsubr.etc
@@ -12,9 +12,9 @@
 (*                                                                        *)
 (**************************************************************************)
 
-notation "hvbox( L1 ⊑ break term 46 L2 )"
+notation "hvbox( L1 ⓝ ⊑ break term 46 L2 )"
    non associative with precedence 45
-   for @{ 'CrSubEq $L1 $L2 }.
+   for @{ 'LRSubEqT $L1 $L2 }.
 
 include "basic_2/relocation/ldrop.ma".