[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 jhd):

 Replying to [comment:7 david]:
 >
 > > though if there is such a requirement, then this argues against the
 intelligent renderer.
 >
 > There is no such requirement, but then there is no requirement that "a"
 produces an "a" either, renderers are given a lot of freedom:-) That said
 I'm fairly sure that all existing MathML renderers never do render
 invisibletimes with a times symbol, and the mathml spec, more or less
 anticipates that behaviour by giving the author no author-level control
 over that. If invisibletimes rendered as a visible symbol or not at the
 discretion of the rendering system, the only way the author could force it
 to be invisible would be to not put it there at all, which would probably
 harm audio renderings and up conversion to semantic content etc.
 >
 Fair comment. Pesumably the 'author-level' control in fact consists of
 deciding whether to use times or invisibletimes. IF we then interpret
 'invisibletimes' as 'a times that I ALWAYS want to be invisble in
 rendering to print, but which might be detectable in spacing rules, or in
 speech ...', then it is correct that the burden of deciding
 times/invisibletimes rests on the content->presentation map, and the bug
 report is genuine (and your solution a good one as far as I can tell).

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