Hya! > - SCIEnce Java libraries: Where can I find the homepage of this project? http://java.symcomp.org You get the possibility to enter your OpenMath markup in Popcorn (http://java.symcomp.org/FormalPopcorn.html), which is a human typeable OM representation, for free. (The java lib includes a parser for that). Best, Peter