update in delayed_updating

[helm.git] / matita / matita / contribs / lambdadelta / delayed_updating / notation / relations / black_rightarrow_df_3.ma

diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/notation/relations/black_rightarrow_df_3.ma b/matita/matita/contribs/lambdadelta/delayed_updating/notation/relations/black_rightarrow_df_3.ma
index f50962063086f16592e82a5f8c1888d553d77c51..1750f335b99ed4001263b7dbdac1efa25673fba1 100644 (file)
--- a/matita/matita/contribs/lambdadelta/delayed_updating/notation/relations/black_rightarrow_df_3.ma
+++ b/matita/matita/contribs/lambdadelta/delayed_updating/notation/relations/black_rightarrow_df_3.ma
@@ -15,5 +15,5 @@
 (* NOTATION FOR DELAYED UPDATING ********************************************)
 
 notation "hvbox( t1 ➡𝐝𝐟[ break term 46 r ] break term 46 t2 )"
-   non associative with precedence 45
-   for @{ 'BlackRightArrowDF $t1 $r $t2 }.
+  non associative with precedence 45
+  for @{ 'BlackRightArrowDF $t1 $r $t2 }.