Dear all, dear James in particular, I have been looking at lists as well, and MathML2 had a <selector> element that could be used for lists. Therefore we also need one for the OM3/MathML3 CDs. Now, there is "list_selector" in list2.ocd with status "expermintal". So I have tentatively added that to the OM3/MathML3 set, even though it also defines symbols first, rest, cons, nil, append, reverse, size, in.
I am not sure that we want to have those in the OM3/MathML3 symbols, and would like to have your opinion on this. The alternative would be to leave out list2 and just add list_selector to list1. Furthermore, if we add the symbols from list2 to the OM3/MathML3 set, then I would probably want to rename some of them, probably nil --> emptylist, size --> length, in -->???? Again, I do not have a good intuition what to do in this situation, what do you all think? Michael -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, Office: Research 1, Room 62 Professor of Computer Science Campus Ring 12, School of Engineering & Science D-28759 Bremen, Germany Jacobs University Bremen* tel/fax: +49 421 200-3140/-493140 [EMAIL PROTECTED] http://kwarc.info/kohlhase skype: m.kohlhase * International University Bremen until Feb. 2007 ---------------------------------------------------------------------- _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
