update in basic_2

[helm.git] / helm / www / lambdadelta / web / home / basic_2_src.tbl

diff --git a/helm/www/lambdadelta/web/home/basic_2_src.tbl b/helm/www/lambdadelta/web/home/basic_2_src.tbl
index 28aacba879eaaf7f0bb01c00db59d38f612ede4b..97ad6ed549e38878c1b94a9650637835c3c18a29 100644 (file)
--- a/helm/www/lambdadelta/web/home/basic_2_src.tbl
+++ b/helm/www/lambdadelta/web/home/basic_2_src.tbl
@@ -279,13 +279,13 @@ table {
           }
         ]
         [ { "closures" * } {
-             [ "cl_shift ( ? @@ ? )" "cl_weight ( #{?,?} )" * ]
+             [ "cl_shift ( ? @@ ? )" "cl_weight ( ♯{?,?} )" * ]
           }
         ]
         [ { "internal syntax" * } {
              [ "genv" * ]
-             [ "lenv" "lenv_weight ( #{?} )" "lenv_length ( |?| )" "lenv_append ( ? @@ ? )" "lenv_px" + "lenv_px_bi" * ]
-             [ "term" "term_weight ( #{?} )" "term_simple ( 𝐒⦃?⦄ )" "term_vector" * ]
+             [ "lenv" "lenv_weight ( ♯{?} )" "lenv_length ( |?| )" "lenv_append ( ? @@ ? )" "lenv_px" + "lenv_px_bi" * ]
+             [ "term" "term_weight ( ♯{?} )" "term_simple ( 𝐒⦃?⦄ )" "term_vector" * ]
              [ "item" * ]
           }
         ]