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.

Attachment: smime.p7s
Description: S/MIME cryptographic signature

_______________________________________________
Om mailing list
[email protected]
http://openmath.org/mailman/listinfo/om

Reply via email to