X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fdelayed_updating%2Fsyntax%2Fpath_structure.ma;h=5bf678ebe01edecc6abb6e061d592e809def6711;hb=503500ff9a6d9cca363a42b5fe7f3f5de69239f9;hp=d7608ba18cc41268dff09f4f27c6e065829a8cbb;hpb=291fe1d3b56faf91d07099f43f3ebde2988649e1;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_structure.ma b/matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_structure.ma
index d7608ba18..5bf678ebe 100644
--- a/matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_structure.ma
+++ b/matita/matita/contribs/lambdadelta/delayed_updating/syntax/path_structure.ma
@@ -23,9 +23,9 @@ match p with
 | list_lcons l q ⇒
    match l with
    [ label_node_d n ⇒ path_structure q
-   | label_edge_L   ⇒ 𝗟;path_structure q
-   | label_edge_A   ⇒ 𝗔;path_structure q
-   | label_edge_S   ⇒ 𝗦;path_structure q
+   | label_edge_L   ⇒ 𝗟◗path_structure q
+   | label_edge_A   ⇒ 𝗔◗path_structure q
+   | label_edge_S   ⇒ 𝗦◗path_structure q
    ]
 ].