[Om] in-units symbol wanted

[Paul Libbrecht]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2203 bytes
Desc: not available
Url : http://openmath.org/pipermail/om/attachments/20070520/ac846901/attachment.bin