summaryrefslogtreecommitdiff
path: root/doc/context/sources/general/mathml/mathml/wh-l-002.xml
diff options
context:
space:
mode:
Diffstat (limited to 'doc/context/sources/general/mathml/mathml/wh-l-002.xml')
-rw-r--r--doc/context/sources/general/mathml/mathml/wh-l-002.xml35
1 files changed, 0 insertions, 35 deletions
diff --git a/doc/context/sources/general/mathml/mathml/wh-l-002.xml b/doc/context/sources/general/mathml/mathml/wh-l-002.xml
deleted file mode 100644
index 5afc5f164..000000000
--- a/doc/context/sources/general/mathml/mathml/wh-l-002.xml
+++ /dev/null
@@ -1,35 +0,0 @@
-<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