update in ground_2, static_2, basic_2, apps_2, alpha_1

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

diff --git a/matita/matita/contribs/lambdadelta/static_2/notation/relations/stareqsn_6.ma b/matita/matita/contribs/lambdadelta/static_2/notation/relations/stareqsn_6.ma
index 71174825ecabfa59f0781deef897ff7366a25da3..29eb309c7b77df3bddf4cfee95a6282c8fc717fc 100644 (file)
--- a/matita/matita/contribs/lambdadelta/static_2/notation/relations/stareqsn_6.ma
+++ b/matita/matita/contribs/lambdadelta/static_2/notation/relations/stareqsn_6.ma
@@ -14,6 +14,6 @@
 
 (* NOTATION FOR THE FORMAL SYSTEM λδ ****************************************)
 
-notation "hvbox( â¦\83 term 46 G1, break term 46 L1, break term 46 T1 â¦\84 â\89\9b â¦\83 break term 46 G2, break term 46 L2, break term 46 T2 â¦\84 )"
+notation "hvbox( â\9dª term 46 G1, break term 46 L1, break term 46 T1 â\9d« â\89\9b â\9dª break term 46 G2, break term 46 L2, break term 46 T2 â\9d« )"
    non associative with precedence 45
    for @{ 'StarEqSn $G1 $L1 $T1 $G2 $L2 $T2 }.