Hello OpenMathers,
I have opened
http://jira.activemath.org//browse/OM-11
This issue is raised against the usage of the too general arith1/
times symbol to denote that a quantity is expressed using a given set
of units.
My main concern currently, is about presentation: it seems pretty hard to create foolproof conditions that detects when a multiplication is actually an expression of units. Also, my feeling is that authors know that they express that (e.g. some write the square brackets around them).
I would thus propose to add an in-units symbol in units_op1, of course adding the FMP that it's "just a times" (namely, a specialization of).
thanks for comments paul
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
