HELM Library Configuration

When you are done with the changes, please do not forget to click on the Save button at the bottom of the page.
Profile
(changing the profile will update all the fields below)
UWOBO URL
   [UWOBO panel]
Getter URL
   [Getter panel]
URI-Set URL
Graph Drawer URL
Proof-Checker URL
Search Engine URL
RDFly URL
Interface URL

Natural language rendering
Maximum size of dependency graph

Browser
Only new browsers support UNICODE, that is needed to render mathematical documents. Some old browsers, though, can render the most common symbols through the "symbol" font.
To make us understand what kind of browser you have, please select below the symbol for "not belongs to". If both options do not show that symbol, then you will be only able to use the MathML mode with an external plug-out for MathML presentation.
Where do you see the "not belongs to" symbol? Ï