[om] Units example usage ?

Paul Libbrecht paul at activemath.org
Thu Apr 17 13:07:43 CEST 2003

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


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