Dear all, I have been looking at product and sum some more in the context of the lifted AC operators (see https://trac.kwarc.info/OM3/ticket/23), and there the situation gets even thornier. We have the mathml <sum/> token element, which in the classification above is plus-exp, and we have the [EMAIL PROTECTED] symbol in OpenMath, which is actually plus-coll.
So we have to decide where the simple backwards compatibility wins, MathML or OpenMath. In my mind plus-exp should be named 'sum' somehow. But it should not be [EMAIL PROTECTED], which is already taken. This raises the general question, what the names of the content dictionaries will be for the MathML CDs should be. Maybe we have to invent new names to make sure that the old OpenMath CDs from the MathML Group are deprecated. Maybe we should use m:arith.cd3 for the joint MathML3/OpenMath3 CD for arithmetic smbols. That would at least make the design easier, since we do have have backwards compatibility problems. We will have to discuss this in the near future in the OM3 group, so please give us your opinion. 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
