[Trac] [OpenMath] #102: Rethink rendering of arith1#times

[OpenMath]

#102: Rethink rendering of arith1#times
----------------------------+-----------------------------------------------
     Reporter:  clange      |          Owner:  kohlhase  
         Type:  task        |         Status:  new       
     Priority:  major       |      Milestone:            
    Component:  MathML CDs  |        Version:            
   Resolution:              |       Keywords:            
Include_gantt:  0           |   Dependencies:            
   Due_assign:  YYYY/MM/DD  |      Due_close:  YYYY/MM/DD
----------------------------+-----------------------------------------------
Comment (by clange):

 Replying to [comment:1 jhd]:
 > I don't have access to that ticket (as far as I know).
 You don't, but that ticket just documents the example that made me aware
 of this issue.
 > However, it strikes me that InvisibleTimes is the RIGHT translation into
 presentation (because that is what we are talking about, not actual
 rendering as such), since it leaves the renderer in charge of deciding
 whether a printed/spoken/Braille/whatever mark is NECESSARY.
 I see -- that makes sense, but it means that our concept of rendering (as
 we have it implemented, e.g., in the XSLTs, or in the wiki) is short-
 sighted:  I mean, if InvisibleTimes is the right symbol, but if it is
 placed between two numbers, some post-processing should be performed to
 avoid "2 times 3" being rendered as "23".

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