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 second argument (a unit) has been effectively multiplied by a constant specified by the first argument (a prefix). This symbol represents the fact that the subsequent unit has been multiplied by 1,000 ($10^{3}$): prefix(kilo*unit)