backport of WIP on \lambda\delta to matita 0.99.3

[helm.git] / helm / www / lambdadelta / web / home / home.ldw.xml
diff --git a/helm/www/lambdadelta/web/home/home.ldw.xml b/helm/www/lambdadelta/web/home/home.ldw.xml

index 8e6135836d861a64fffbbf64e845257b950916ab..e773b460be5019d60319b3ea60b2616c14be0c21 100644 (file)
--- a/helm/www/lambdadelta/web/home/home.ldw.xml
+++ b/helm/www/lambdadelta/web/home/home.ldw.xml
@@ -30,6 +30,9 @@
        to view this site correctly, please select a font
        with <link to="http://www.unicode.org/">Unicode</link> support.
     </body>
+   <body>
+      <ucs-bronze char="03BB"/>
+   </body>
  
  <!-- ===================================================================== -->