autotests/export/docbook/theorems-mathml.lyx

   1 #LyX 2.4 created this file. For more info see https://www.lyx.org/
   2 \lyxformat 613
   3 \begin_document
   4 \begin_header
   5 \save_transient_properties true
   6 \origin unavailable
   7 \textclass article
   8 \use_default_options true
   9 \begin_modules
  10 theorems-std
  11 \end_modules
  12 \maintain_unincluded_children no
  13 \language american
  14 \language_package default
  15 \inputencoding utf8
  16 \fontencoding auto
  17 \font_roman "default" "default"
  18 \font_sans "default" "default"
  19 \font_typewriter "default" "default"
  20 \font_math "auto" "auto"
  21 \font_default_family default
  22 \use_non_tex_fonts false
  23 \font_sc false
  24 \font_roman_osf false
  25 \font_sans_osf false
  26 \font_typewriter_osf false
  27 \font_sf_scale 100 100
  28 \font_tt_scale 100 100
  29 \use_microtype false
  30 \use_dash_ligatures true
  31 \graphics default
  32 \default_output_format default
  33 \output_sync 0
  34 \bibtex_command default
  35 \index_command default
  36 \float_placement class
  37 \float_alignment class
  38 \paperfontsize default
  39 \spacing single
  40 \use_hyperref false
  41 \papersize default
  42 \use_geometry false
  43 \use_package amsmath 1
  44 \use_package amssymb 1
  45 \use_package cancel 1
  46 \use_package esint 1
  47 \use_package mathdots 1
  48 \use_package mathtools 1
  49 \use_package mhchem 1
  50 \use_package stackrel 1
  51 \use_package stmaryrd 1
  52 \use_package undertilde 1
  53 \cite_engine basic
  54 \cite_engine_type default
  55 \biblio_style plain
  56 \use_bibtopic false
  57 \use_indices false
  58 \paperorientation portrait
  59 \suppress_date false
  60 \justification true
  61 \use_refstyle 1
  62 \use_minted 0
  63 \use_lineno 0
  64 \index Index
  65 \shortcut idx
  66 \color #008000
  67 \end_index
  68 \secnumdepth 3
  69 \tocdepth 3
  70 \paragraph_separation indent
  71 \paragraph_indentation default
  72 \is_math_indent 0
  73 \math_numbering_side default
  74 \quotes_style english
  75 \dynamic_quotes 0
  76 \papercolumns 1
  77 \papersides 1
  78 \paperpagestyle default
  79 \tablestyle default
  80 \tracking_changes false
  81 \output_changes false
  82 \change_bars false
  83 \postpone_fragile_content true
  84 \html_math_output 0
  85 \html_css_as_file 0
  86 \html_be_strict false
  87 \docbook_table_output 0
  88 \docbook_mathml_prefix 1
  89 \end_header
  90
  91 \begin_body
  92
  93 \begin_layout Title
  94 Ensure that maths are properly converted in theorems
  95 \end_layout
  96
  97 \begin_layout Standard
  98 Equation outside environments:
  99
 100 \begin_inset Formula $\pi\,r^{2}$
 101 \end_inset
 102
 103 .
 104 \begin_inset Formula
 105 \[
 106 \pi\,\rho^{3}
 107 \]
 108
 109 \end_inset
 110
 111
 112 \end_layout
 113
 114 \begin_layout Theorem
 115 This is a theorem:
 116  hypothesis
 117 \begin_inset Formula $a=b$
 118 \end_inset
 119
 120 ,
 121  thesis
 122 \begin_inset Formula
 123 \[
 124 a\neq b.
 125 \]
 126
 127 \end_inset
 128
 129 Clear,
 130  don't you think?
 131 \end_layout
 132
 133 \begin_layout Proof
 134 Left as exercise for the reader.
 135 \end_layout
 136
 137 \begin_layout Remark
 138 This is real math,
 139  you know.
 140
 141 \begin_inset Formula $a=b=a$
 142 \end_inset
 143
 144 .
 145 \end_layout
 146
 147 \end_body
 148 \end_document