update in ground static_2 basic_2 apps_2

[helm.git] / matita / matita / contribs / lambdadelta / static_2 / notation / relations / approxeqsn_6.ma

diff --git a/matita/matita/contribs/lambdadelta/static_2/notation/relations/approxeqsn_6.ma b/matita/matita/contribs/lambdadelta/static_2/notation/relations/approxeqsn_6.ma
index bde0d79d71724d4dddfa056d8df2c650ae3a8572..13b467b0e772776294b87b4fa5f644a834f18172 100644 (file)
--- a/matita/matita/contribs/lambdadelta/static_2/notation/relations/approxeqsn_6.ma
+++ b/matita/matita/contribs/lambdadelta/static_2/notation/relations/approxeqsn_6.ma
@@ -14,6 +14,6 @@
 
 (* NOTATION FOR THE FORMAL SYSTEM λδ ****************************************)
 
-notation "hvbox( â\9dª term 46 G1, break term 46 L1, break term 46 T1 â\9d« â\89\85 â\9dª break term 46 G2, break term 46 L2, break term 46 T2 â\9d« )"
+notation "hvbox( â\9d¨ term 46 G1, break term 46 L1, break term 46 T1 â\9d© â\89\85 â\9d¨ break term 46 G2, break term 46 L2, break term 46 T2 â\9d© )"
    non associative with precedence 45
    for @{ 'ApproxEqSn $G1 $L1 $T1 $G2 $L2 $T2 }.