diff options
Diffstat (limited to 'doc/context/sources/general/manuals/mathml/wh-l-003.xml')
-rw-r--r-- | doc/context/sources/general/manuals/mathml/wh-l-003.xml | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/doc/context/sources/general/manuals/mathml/wh-l-003.xml b/doc/context/sources/general/manuals/mathml/wh-l-003.xml new file mode 100644 index 000000000..673ca36aa --- /dev/null +++ b/doc/context/sources/general/manuals/mathml/wh-l-003.xml @@ -0,0 +1,32 @@ +<math xmlns='http://www.w3c.org/mathml' version='2.0'> + <apply> <forall/> + <condition> + <apply> <and/> + <apply> <in/> + <ci> b </ci> + <ci> ℝ </ci> + </apply> + <apply> <gt/> + <ci> a </ci> + <cn> 0 </cn> + </apply> + </apply> + </condition> + <apply> <eq/> + <apply> <log/> + <logbase> <ci> g </ci> </logbase> + <apply> <power/> + <ci> a </ci> + <ci> b </ci> + </apply> + </apply> + <apply> <times/> + <ci> b </ci> + <apply> <log/> + <logbase> <ci> g </ci> </logbase> + <ci> a </ci> + </apply> + </apply> + </apply> + </apply> +</math>
\ No newline at end of file |