notation update for pointwise union

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / web / basic_2_src.tbl

diff --git a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl
index 4b1bbe19ff7bca0c12e8f7a7e1b388b178c5f301..08472051242102c29119b9c04c798f352fc9be63 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl
+++ b/matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl
@@ -223,7 +223,7 @@ table {
           }
         ]
         [ { "pointwise union for local environments" * } {
-             [ "llor ( ? â©\96[?,?] ? ≡ ? )" "llor_alt" + "llor_drop" * ]
+             [ "llor ( ? â\8b\93[?,?] ? ≡ ? )" "llor_alt" + "llor_drop" * ]
           }
         ]
         [ { "context-sensitive exclusion from free variables" * } {