[Om3] Restarting the discussion!

[Professor James Davenport]

On Fri, 12 Oct 2007, Michael Kohlhase wrote:
> 2. think about a OM3 CD format, there were some wishes for addition
>      b) defMPs (see James' proposal from Linz)
I have a student working on an OpenMath-based unit converter. It would be 
good to add, say, 'kg' as an abbreviation for 'kilogramme', but this might 
best be done by having 'kg' as a symbol with a defmp of kilogramme (this 
being, of course the application of 'kilo' to 'gramme').
James