[om] role of a symbol

jdec at cs.pitt.edu jdec at cs.pitt.edu
Fri Jan 30 00:53:29 CET 2004

Hello all,
I have read the new version of the standard, openmath2, and I am
still not sure how the "role of a symbol" is to be used.
Could anyone provide examples involving this?



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

More information about the Om mailing list