While chasing up the Ontolog units activity (thanks, Christoph), I can 
across this, which seems to have elements like math:hasPower, 
math:productOf

Has anyone come across this before?
A rapid comment would be useful, as we're telemeeting in 5100 seconds (SI 
units).
James
_______________________________________________
Om mailing list
[email protected]
http://openmath.org/mailman/listinfo/om

Reply via email to