]> matita.cs.unibo.it Git - helm.git/blob - helm/software/DEVEL/lablgtkmathview/test/test.xml
Last known bug unrelated to names fixed: a fixpoint that creates a type used
[helm.git] / helm / software / DEVEL / lablgtkmathview / test / test.xml
1 <?xml version="1.0"?>
2
3 <!DOCTYPE m:math [
4  <!ENTITY InvisibleTimes "&#x02062;">
5  <!ENTITY ApplyFunction "&#x02061;">
6  <!ENTITY int "&#x0222B;">
7 ]>
8
9 <m:math display="block" xmlns:helm="http://www.cs.unibo.it/helm" xmlns:m="http://www.w3.org/1998/Math/MathML">
10   <m:mrow helm:xref="SELECTION OK">
11     <m:mo>&int;</m:mo>
12     <m:mo>&ApplyFunction;</m:mo>
13     <m:mfrac>
14       <m:maction actiontype="toggle">
15        <m:mtext>It's a secret!</m:mtext>
16        <m:mrow>
17          <m:mrow>
18            <m:mi>a</m:mi>
19            <m:mo>&InvisibleTimes;</m:mo>
20            <m:mi>x</m:mi>
21          </m:mrow>
22          <m:mo>+</m:mo>
23          <m:mi>b</m:mi>
24        </m:mrow>
25       </m:maction>
26       <m:mrow>
27         <m:msup helm:xref="A">
28           <m:mi>x</m:mi>
29           <m:mn>2</m:mn>
30         </m:msup>
31         <m:mo>+</m:mo>
32         <m:mrow helm:xref="B">
33           <m:mi>p</m:mi>
34           <m:mo>&InvisibleTimes;</m:mo>
35           <m:mi>x</m:mi>
36         </m:mrow>
37         <m:mo>+</m:mo>
38         <m:mi>q</m:mi>
39       </m:mrow>
40     </m:mfrac>
41   </m:mrow>
42   <m:mo fontstyle="italic">d</m:mo>
43   <m:mi>x</m:mi>
44   <m:mo>=</m:mo>
45   <m:mrow>
46     <m:mrow>
47       <m:mfrac><m:mi>a</m:mi><m:mn>2</m:mn></m:mfrac>
48       <m:mo>&InvisibleTimes;</m:mo>
49       <m:mrow>
50         <m:mi>ln</m:mi>
51         <m:mo>&ApplyFunction;</m:mo>
52         <m:mrow>
53           <m:mo>(</m:mo>
54           <m:mrow>
55             <m:msup><m:mi>x</m:mi><m:mn>2</m:mn></m:msup>
56             <m:mo>+</m:mo>
57             <m:mrow>
58               <m:mi>p</m:mi>
59               <m:mo>&InvisibleTimes;</m:mo>
60               <m:mi>x</m:mi>
61             </m:mrow>
62             <m:mo>+</m:mo>
63             <m:mi>q</m:mi>
64           </m:mrow>
65           <m:mo>)</m:mo>
66         </m:mrow>
67       </m:mrow>
68     </m:mrow>
69     <m:mo>+</m:mo>
70     <m:mrow>
71       <m:mfrac>
72         <m:mrow>
73           <m:mrow>
74             <m:mn>2</m:mn>
75             <m:mo>&InvisibleTimes;</m:mo>
76             <m:mi>b</m:mi>
77           </m:mrow>
78           <m:mo>-</m:mo>
79           <m:mrow>
80             <m:mi>a</m:mi>
81             <m:mo>&InvisibleTimes;</m:mo>
82             <m:mi>p</m:mi>
83           </m:mrow>
84         </m:mrow>
85         <m:msqrt>
86           <m:mrow>
87             <m:mrow>
88               <m:mn>4</m:mn>
89               <m:mo>&InvisibleTimes;</m:mo>
90               <m:mi>q</m:mi>
91             </m:mrow>
92             <m:mo>-</m:mo>
93             <m:msup>
94               <m:mi>p</m:mi>
95               <m:mn>2</m:mn>
96             </m:msup>
97           </m:mrow>
98         </m:msqrt>
99       </m:mfrac>
100       <m:mo>&InvisibleTimes;</m:mo>
101       <m:mrow>
102         <m:mi xlink:href="JUMPS WORK">arctg</m:mi>
103         <m:mo>&ApplyFunction;</m:mo>
104         <m:mfrac>
105           <m:mrow>
106             <m:mrow>
107               <m:mn>2</m:mn>
108               <m:mo>&InvisibleTimes;</m:mo>
109               <m:mi>x</m:mi>
110             </m:mrow>
111             <m:mo>+</m:mo>
112             <m:mi>p</m:mi>
113           </m:mrow>
114           <m:msqrt>
115             <m:mrow>
116               <m:mrow>
117                 <m:mn>4</m:mn>
118                 <m:mo>&InvisibleTimes;</m:mo>
119                 <m:mi>q</m:mi>
120               </m:mrow>
121               <m:mo>-</m:mo>
122               <m:msup>
123                 <m:mi>p</m:mi>
124                 <m:mn>2</m:mn>
125               </m:msup>
126             </m:mrow>
127           </m:msqrt>
128         </m:mfrac>
129       </m:mrow>
130     </m:mrow>
131     <m:mo>+</m:mo>
132     <m:mi>c</m:mi>
133   </m:mrow>  
134 </m:math>