wh-l-003.xml /size: 711 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> <in/>
6          <ci> b </ci>
7          <ci> &reals; </ci>
8        </apply>
9        <apply> <gt/>
10          <ci> a </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> <power/>
19          <ci> a </ci>
20          <ci> b </ci>
21        </apply>
22      </apply>   
23      <apply> <times/>
24        <ci> b </ci> 
25        <apply> <log/> 
26          <logbase> <ci> g </ci> </logbase>
27          <ci> a </ci>
28        </apply>
29      </apply>   
30    </apply>
31  </apply>
32</math>