[om] Units example usage ?

[Paul Libbrecht]

Hi OpenMathers,

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

Thanks.

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