>> 2. we still have pragmatic MathML of the form >> <apply><eq/>a b c</apply> >> but that will be translated to >> <apply> >> <csymbol cd="logic1">and</csymbol> >> <apply><csymbol cd="relation1">eq</csmbol>a b</csmbol></apply> >> <apply><csymbol cd="relation1">eq</csmbol>b c</csmbol></apply> >> </apply> >> in the content to strict translation. >> > and for the other transitive ones (> etc), but NOT for neq. > I don't know what to do about a<b>c etc.: as far as I can tell pragmatic > did not have them, so we shouldn't add them. > Ditto a>b,c>d, which seems to have no clear semantics. > James > Hmmm, we could even do better now that we have <OMR> and <share> I would propose
<apply> <csymbol cd="logic1">and</csymbol> <apply><csymbol cd="relation1">eq</csmbol>a b(xml:id="foo")</csmbol></apply> <apply><csymbol cd="relation1">eq</csmbol><share href="foo"/> c</csmbol></apply> </apply> I must say that I like this a lot. 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
