On the last line... http://www.ercim.org/publication/Ercim_News/enw50/froumentin.html a plug for OpenMath. Andrew -- om at openmath.org - general discussion on OpenMath Post public announcements to om-announce at openmath.org Automatic list maintenance software at majordomo at openmath.org Mail om-owner at openmath.org for assistance with any problems