summaryrefslogtreecommitdiff
path: root/doc/context/sources/general/manuals/mathml/wh-l-002.xml
diff options
context:
space:
mode:
Diffstat (limited to 'doc/context/sources/general/manuals/mathml/wh-l-002.xml')
-rw-r--r--doc/context/sources/general/manuals/mathml/wh-l-002.xml35
1 files changed, 35 insertions, 0 deletions
diff --git a/doc/context/sources/general/manuals/mathml/wh-l-002.xml b/doc/context/sources/general/manuals/mathml/wh-l-002.xml
new file mode 100644
index 000000000..5afc5f164
--- /dev/null
+++ b/doc/context/sources/general/manuals/mathml/wh-l-002.xml
@@ -0,0 +1,35 @@
+<math xmlns='http://www.w3c.org/mathml' version='2.0'>
+ <apply> <forall/>
+ <condition>
+ <apply> <and/>
+ <apply> <gt/>
+ <ci> a </ci>
+ <cn> 0 </cn>
+ </apply>
+ <apply> <gt/>
+ <ci> b </ci>
+ <cn> 0 </cn>
+ </apply>
+ </apply>
+ </condition>
+ <apply> <eq/>
+ <apply> <log/>
+ <logbase> <ci> g </ci> </logbase>
+ <apply> <divide/>
+ <ci> a </ci>
+ <ci> b </ci>
+ </apply>
+ </apply>
+ <apply> <minus/>
+ <apply> <log/>
+ <logbase> <ci> g </ci> </logbase>
+ <ci> a </ci>
+ </apply>
+ <apply> <log/>
+ <logbase> <ci> g </ci> </logbase>
+ <ci> b </ci>
+ </apply>
+ </apply>
+ </apply>
+ </apply>
+</math> \ No newline at end of file