[Om] invisible times and invisible plus

Paul Libbrecht paul at activemath.org
Mon Aug 31 21:55:30 CEST 2009


Erm... a notation is a complex pattern... so it would handle  
differently things that have an attribute and things that don't or?

paul


Le 31-août-09 à 21:39, Christoph LANGE a écrit :

> However, it may easily become more intricate.  Suppose the default  
> way of
> rendering division (according to some *.ntn notation dictionary) is  
> a/b
> instead of
>
> 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.

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


More information about the Om mailing list