[om] Units example usage ?

[Michael Kohlhase]

Paul,


> 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) ?

The MathML Group (actually Douglas Wilhelm Harder and Stan Devitt) are
preparing a note on using Units in MathML, which should be out any moment
now. It will probably shed some light and help deciding with what you can
do with units.


     Michael

--
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