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
	--- localhost mowgli marcello	[UWOBO panel]
Getter URL
	--- localhost mowgli marcello	[Getter panel]
URI-Set URL
	--- localhost mowgli marcello
Graph Drawer URL
	--- localhost mowgli marcello
Proof-Checker URL
	--- localhost mowgli marcello
RDFly URL
	--- localhost mowgli marcello
Interface URL
	--- helm

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? Ï ∉