mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-14 23:12:31 +00:00
149 lines
2.6 KiB
Plaintext
149 lines
2.6 KiB
Plaintext
|
#LyX 2.4 created this file. For more info see https://www.lyx.org/
|
||
|
|
\lyxformat 613
|
||
|
|
\begin_document
|
||
|
|
\begin_header
|
||
|
|
\save_transient_properties true
|
||
|
|
\origin unavailable
|
||
|
|
\textclass article
|
||
|
|
\use_default_options true
|
||
|
|
\begin_modules
|
||
|
|
theorems-std
|
||
|
|
\end_modules
|
||
|
|
\maintain_unincluded_children no
|
||
|
|
\language american
|
||
|
|
\language_package default
|
||
|
|
\inputencoding utf8
|
||
|
|
\fontencoding auto
|
||
|
|
\font_roman "default" "default"
|
||
|
|
\font_sans "default" "default"
|
||
|
|
\font_typewriter "default" "default"
|
||
|
|
\font_math "auto" "auto"
|
||
|
|
\font_default_family default
|
||
|
|
\use_non_tex_fonts false
|
||
|
|
\font_sc false
|
||
|
|
\font_roman_osf false
|
||
|
|
\font_sans_osf false
|
||
|
|
\font_typewriter_osf false
|
||
|
|
\font_sf_scale 100 100
|
||
|
|
\font_tt_scale 100 100
|
||
|
|
\use_microtype false
|
||
|
|
\use_dash_ligatures true
|
||
|
|
\graphics default
|
||
|
|
\default_output_format default
|
||
|
|
\output_sync 0
|
||
|
|
\bibtex_command default
|
||
|
|
\index_command default
|
||
|
|
\float_placement class
|
||
|
|
\float_alignment class
|
||
|
|
\paperfontsize default
|
||
|
|
\spacing single
|
||
|
|
\use_hyperref false
|
||
|
|
\papersize default
|
||
|
|
\use_geometry false
|
||
|
|
\use_package amsmath 1
|
||
|
|
\use_package amssymb 1
|
||
|
|
\use_package cancel 1
|
||
|
|
\use_package esint 1
|
||
|
|
\use_package mathdots 1
|
||
|
|
\use_package mathtools 1
|
||
|
|
\use_package mhchem 1
|
||
|
|
\use_package stackrel 1
|
||
|
|
\use_package stmaryrd 1
|
||
|
|
\use_package undertilde 1
|
||
|
|
\cite_engine basic
|
||
|
|
\cite_engine_type default
|
||
|
|
\biblio_style plain
|
||
|
|
\use_bibtopic false
|
||
|
|
\use_indices false
|
||
|
|
\paperorientation portrait
|
||
|
|
\suppress_date false
|
||
|
|
\justification true
|
||
|
|
\use_refstyle 1
|
||
|
|
\use_minted 0
|
||
|
|
\use_lineno 0
|
||
|
|
\index Index
|
||
|
|
\shortcut idx
|
||
|
|
\color #008000
|
||
|
|
\end_index
|
||
|
|
\secnumdepth 3
|
||
|
|
\tocdepth 3
|
||
|
|
\paragraph_separation indent
|
||
|
|
\paragraph_indentation default
|
||
|
|
\is_math_indent 0
|
||
|
|
\math_numbering_side default
|
||
|
|
\quotes_style english
|
||
|
|
\dynamic_quotes 0
|
||
|
|
\papercolumns 1
|
||
|
|
\papersides 1
|
||
|
|
\paperpagestyle default
|
||
|
|
\tablestyle default
|
||
|
|
\tracking_changes false
|
||
|
|
\output_changes false
|
||
|
|
\change_bars false
|
||
|
|
\postpone_fragile_content true
|
||
|
|
\html_math_output 0
|
||
|
|
\html_css_as_file 0
|
||
|
|
\html_be_strict false
|
||
|
|
\docbook_table_output 0
|
||
|
|
\docbook_mathml_prefix 1
|
||
|
|
\end_header
|
||
|
|
|
||
|
|
\begin_body
|
||
|
|
|
||
|
|
\begin_layout Title
|
||
|
|
Ensure that maths are properly converted in theorems
|
||
|
|
\end_layout
|
||
|
|
|
||
|
|
\begin_layout Standard
|
||
|
|
Equation outside environments:
|
||
|
|
|
||
|
|
\begin_inset Formula $\pi\,r^{2}$
|
||
|
|
\end_inset
|
||
|
|
|
||
|
|
.
|
||
|
|
\begin_inset Formula
|
||
|
|
\[
|
||
|
|
\pi\,\rho^{3}
|
||
|
|
\]
|
||
|
|
|
||
|
|
\end_inset
|
||
|
|
|
||
|
|
|
||
|
|
\end_layout
|
||
|
|
|
||
|
|
\begin_layout Theorem
|
||
|
|
This is a theorem:
|
||
|
|
hypothesis
|
||
|
|
\begin_inset Formula $a=b$
|
||
|
|
\end_inset
|
||
|
|
|
||
|
|
,
|
||
|
|
thesis
|
||
|
|
\begin_inset Formula
|
||
|
|
\[
|
||
|
|
a\neq b.
|
||
|
|
\]
|
||
|
|
|
||
|
|
\end_inset
|
||
|
|
|
||
|
|
Clear,
|
||
|
|
don't you think?
|
||
|
|
\end_layout
|
||
|
|
|
||
|
|
\begin_layout Proof
|
||
|
|
Left as exercise for the reader.
|
||
|
|
\end_layout
|
||
|
|
|
||
|
|
\begin_layout Remark
|
||
|
|
This is real math,
|
||
|
|
you know.
|
||
|
|
|
||
|
|
\begin_inset Formula $a=b=a$
|
||
|
|
\end_inset
|
||
|
|
|
||
|
|
.
|
||
|
|
\end_layout
|
||
|
|
|
||
|
|
\end_body
|
||
|
|
\end_document
|