wh-l-001.xml /size: 787 b    last modification: 2020-07-01 14:35
1<math xmlns='http://www.w3c.org/mathml' version='2.0'>
2  <apply> <forall/>
3    <condition>
4      <apply> <and/>
5        <apply> <gt/>
6          <ci> a </ci>
7          <cn> 0 </cn>
8        </apply>
9        <apply> <gt/>
10          <ci> b </ci>
11          <cn> 0 </cn>
12        </apply>
13      </apply>
14    </condition>
15    <apply> <eq/> 
16      <apply> <log/> 
17        <logbase> <ci> g </ci> </logbase>
18        <apply> <times/>
19          <ci> a </ci>
20          <ci> b </ci>
21        </apply>
22      </apply>   
23      <apply> <plus/>
24        <apply> <log/> 
25          <logbase> <ci> g </ci> </logbase>
26          <ci> a </ci>
27        </apply>
28        <apply> <log/> 
29          <logbase> <ci> g </ci> </logbase>
30          <ci> b </ci>
31        </apply>
32      </apply>
33    </apply>
34  </apply>
35</math>