autotests/export/docbook/theorems-mathml.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <!-- This DocBook file was created by LyX 2.4.0-beta2
   3   See https://www.lyx.org/ for more information -->
   4 <article xml:lang="en_US" xmlns="http://docbook.org/ns/docbook" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:xi="http://www.w3.org/2001/XInclude" version="5.2">
   5 <title>Ensure that maths are properly converted in theorems</title>
   6 <para>Equation outside environments: <inlineequation>
   7 <alt role='tex'>\pi\,r^{2}</alt>
   8 <m:math display="inline">
   9
  10 <m:mrow>
  11  <m:mrow><m:mi>&#x3C0;</m:mi>
  12   <m:mspace width="6px"/>
  13   <m:msup>
  14    <m:mi>r</m:mi>
  15    <m:mn>2</m:mn>
  16   </m:msup>
  17  </m:mrow>
  18 </m:mrow>
  19 </m:math>
  20 </inlineequation>.
  21 <informalequation>
  22 <alt role='tex'>\pi\,\rho^{3}</alt>
  23 <m:math display="block">
  24
  25 <m:mrow>
  26  <m:mrow><m:mi>&#x3C0;</m:mi>
  27   <m:mspace width="6px"/>
  28   <m:msup><m:mi>&#x3C1;</m:mi>
  29    <m:mn>3</m:mn>
  30   </m:msup>
  31  </m:mrow>
  32 </m:mrow>
  33 </m:math>
  34 </informalequation>
  35 </para>
  36 <figure role='theorem'>
  37 <title>Theorem 1.</title>
  38 <para>This is a theorem: hypothesis <inlineequation>
  39 <alt role='tex'>a=b</alt>
  40 <m:math display="inline">
  41
  42 <m:mrow>
  43  <m:mrow>
  44   <m:mi>a</m:mi>
  45   <m:mo>=</m:mo>
  46   <m:mi>b</m:mi>
  47  </m:mrow>
  48 </m:mrow>
  49 </m:math>
  50 </inlineequation>, thesis
  51 <informalequation>
  52 <alt role='tex'>a\neq b.</alt>
  53 <m:math display="block">
  54
  55 <m:mrow>
  56  <m:mrow>
  57   <m:mi>a</m:mi><m:mo>&#x2260;</m:mo>
  58   <m:mi>b</m:mi>
  59   <m:mn>.</m:mn>
  60  </m:mrow>
  61 </m:mrow>
  62 </m:math>
  63 </informalequation>
  64 Clear, don&#8217;t you think?</para>
  65 </figure>
  66 <para role='proof'>Left as exercise for the reader.</para>
  67 <figure role='remark'>
  68 <title>Remark 2.</title>
  69 <para>This is real math, you know. <inlineequation>
  70 <alt role='tex'>a=b=a</alt>
  71 <m:math display="inline">
  72
  73 <m:mrow>
  74  <m:mrow>
  75   <m:mi>a</m:mi>
  76   <m:mo>=</m:mo>
  77   <m:mi>b</m:mi>
  78   <m:mo>=</m:mo>
  79   <m:mi>a</m:mi>
  80  </m:mrow>
  81 </m:mrow>
  82 </m:math>
  83 </inlineequation>.</para>
  84 </figure>
  85 </article>