[om] Units example usage ?
paul at activemath.org
Thu Apr 17 13:07:43 CEST 2003
We were about to use the units symbols until... I faced the fact that I
wouldn't know how to use, say, the "meter" symbol.
Should the be a predicate applied to (probably a number) the length amount ?
Should I use a multiplication (not really elegant) ?
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