[om] prefix in units_ops1

[Bill Naylor]

Hi,

I am unhappy with the definition of the prefix symbol in units_ops1:

"prefix

This symbol represents the fact that the subsequent unit has been
effectively multiplied by 1,000 ($10^{3}$) "

This seems to me to be a particular application of prefix, viz. to the
kilo symbol. I think something much more along the lines of:

This symbol represents the fact that the second argument (a unit) has been
effectively multiplied by a constant specified by the first argument (a
prefix).


cheers,

Bill

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