units_ops1
http://www.openmath.org/cd/units_ops1.ocd
2006-08-27
experimental
2004-08-27
1
0
This CD defines various symbols for use in the manipulation of units.
prefix
This symbol represents the fact that the subsequent unit has been
effectively multiplied by 1,000 ($10^{3}$)
This is unit multiplication by 1,000
1
10
3