[Trac] [OpenMath] #6: multiple roles for OM symbols

[OpenMath]

#6: multiple roles for OM symbols
------------------------------+---------------------------------------------
     Reporter:  kohlhase      |          Owner:  kohlhase  
         Type:  proposal      |         Status:  closed    
     Priority:  blocker       |      Milestone:  CD3 Draft1
    Component:  OM3 Standard  |        Version:            
   Resolution:  fixed         |       Keywords:            
Include_gantt:  0             |   Dependencies:            
   Due_assign:  YYYY/MM/DD    |      Due_close:  YYYY/MM/DD
------------------------------+---------------------------------------------
Changes (by kohlhase):

  * status:  new => closed
  * resolution:  => fixed

Comment:

 we have decided on this call that we do not want to have multiple roles
 per symbol (with some opposition from Paul).

 Closing the issue

-- 
Ticket URL: <https://trac.kwarc.info/OM3/ticket/6#comment:2>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.