[Om] invisible times and invisible plus
ch.lange at jacobs-university.de
Mon Aug 31 21:39:35 CEST 2009
2009-08-31 17:06 Professor James Davenport <jhd at cs.bath.ac.uk>:
> I suspect we want to be able to write
> <OMS cd="presentation_hacks" name="use_symbol"/>
> <OMFOREIGN encoding="MathML-Presentation">
> <math xmlns="http://www.w3.org/1998/Math/MathML">
> <OMS name="plus" cd="arith1"/>
> or some such.
Indeed, good point. I think that would almost work out of the box with
the existing implementations of renderers.
However, it may easily become more intricate. Suppose the default way of
rendering division (according to some *.ntn notation dictionary) is a/b
then the approach above would no longer work. Instead we'd have to attribute
the complete (plus a (divide b c)) expression with, well, maybe some
Presentation MathML fragment with placeholders that would then be replaced by
the renderings of the respective arguments. Something similar to the patterns
in those pattern-matching-based notations.
Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701
More information about the Om