units_ops1
http://www.openmath.org/cd/units_ops1.ocd
2004-04-01
experimental
2003-08-21
1
0
arith1
relations1
units_siprefix1
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