]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/web/home/home.ldw.xml
web site update
[helm.git] / helm / www / lambdadelta / web / home / home.ldw.xml
index cd7c4121b33746a37dda80f6661fa1922a32e59e..fffcc806a802007222037e14953546ad5bd93592 100644 (file)
@@ -35,8 +35,9 @@
       <notice class="alpha" text="Notice:"/>
       to view this site correctly, please install fonts
       supporting <link to="http://www.unicode.org/">Unicode 7.0</link> (June 2014).
-      For instance <notice class="alpha" text="Unifont"/>
-      or <notice class="alpha" text="Symbola"/>.
+      For instance <notice class="alpha" text="Unifont Upper"/>
+      or <notice class="alpha" text="Symbola"/>
+      or <notice class="alpha" text="Noto Sans Symbols2"/>.
    </body>
    <body>
       <ucs-bronze char="03BB"/>