]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/test/test.xml
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / lablgtkmathview / test / test.xml
index 97506d16d0287018d544de90152751d386ba6ac1..a29bcdac0b271abffe96c26c7649aaddba9ce3eb 100644 (file)
@@ -6,7 +6,7 @@
  <!ENTITY int "&#x0222B;">
 ]>
 
-<m:math display="block" xmlns:m="http://www.w3.org/1998/Math/MathML">
+<m:math display="block" xmlns:helm="http://www.cs.unibo.it/helm" xmlns:m="http://www.w3.org/1998/Math/MathML">
   <m:mrow helm:xref="SELECTION OK">
     <m:mo>&int;</m:mo>
     <m:mo>&ApplyFunction;</m:mo>
        </m:mrow>
       </m:maction>
       <m:mrow>
-        <m:msup>
+        <m:msup helm:xref="A">
          <m:mi>x</m:mi>
          <m:mn>2</m:mn>
        </m:msup>
        <m:mo>+</m:mo>
-       <m:mrow>
+       <m:mrow helm:xref="B">
          <m:mi>p</m:mi>
          <m:mo>&InvisibleTimes;</m:mo>
          <m:mi>x</m:mi>