X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fetc%2Flpc%2Flfpc.etc;h=b80b290b63a3c09b3ecc0b6c7440b1d4b551ca00;hb=82fc9726cbd3363dcd08695dbe0179653e6a18a7;hp=273873abdcf64a8142ec43b93603b80613988f04;hpb=7d2817401273978654ca725fb3794a4a465a93bb;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/etc/lpc/lfpc.etc b/matita/matita/contribs/lambdadelta/basic_2/etc/lpc/lfpc.etc
index 273873abd..b80b290b6 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/etc/lpc/lfpc.etc
+++ b/matita/matita/contribs/lambdadelta/basic_2/etc/lpc/lfpc.etc
@@ -12,6 +12,10 @@
 (*                                                                        *)
 (**************************************************************************)
 
+notation "hvbox( ⦃ term 46 L1 ⦄ ⬌ ⬌ break ⦃ term 46 L2 ⦄ )"
+   non associative with precedence 45
+   for @{ 'FocalizedPConvAlt $L1 $L2 }.
+
 include "basic_2/reducibility/lfpr.ma".
 
 (* FOCALIZED PARALLEL CONVERSION ON LOCAL ENVIRONMENTS **********************)