mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-12-17 10:07:27 +00:00
146 lines
2.8 KiB
Plaintext
146 lines
2.8 KiB
Plaintext
#LyX file created by tex2lyx 2.3
|
|
\lyxformat 543
|
|
\begin_document
|
|
\begin_header
|
|
\save_transient_properties true
|
|
\origin roundtrip
|
|
\textclass amsart
|
|
\begin_preamble
|
|
\usepackage{babel}
|
|
|
|
\end_preamble
|
|
\use_default_options false
|
|
\begin_modules
|
|
theorems-ams
|
|
\end_modules
|
|
\maintain_unincluded_children false
|
|
\language english
|
|
\language_package default
|
|
\inputencoding iso8859-15
|
|
\fontencoding T1
|
|
\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_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
|
|
\paperfontsize default
|
|
\spacing single
|
|
\use_hyperref false
|
|
\papersize default
|
|
\use_geometry false
|
|
\use_package amsmath 1
|
|
\use_package amssymb 0
|
|
\use_package cancel 0
|
|
\use_package esint 1
|
|
\use_package mathdots 0
|
|
\use_package mathtools 0
|
|
\use_package mhchem 0
|
|
\use_package stackrel 0
|
|
\use_package stmaryrd 0
|
|
\use_package undertilde 0
|
|
\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 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
|
|
\tracking_changes false
|
|
\output_changes false
|
|
\html_math_output 0
|
|
\html_css_as_file 0
|
|
\html_be_strict false
|
|
\end_header
|
|
|
|
\begin_body
|
|
|
|
\begin_layout Standard
|
|
This is a dummy file
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
It has a theorem, a lemma and a proof.
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
The theorem is recognized is a style provided by the module theorems-ams, since the preamble code matches.
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
The lemma is not recognized as a command provided by a module, since the preamble code is from an older version of LyX, and modules are only loaded if the preamble code matches (otherwise you could easily get completely different output for some often used names like
|
|
\backslash
|
|
theorem.
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
The proof is recognized as a builtin style provided by the text class.
|
|
\end_layout
|
|
|
|
\begin_layout Standard
|
|
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
\backslash
|
|
begin{lem}
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
this is a lemma
|
|
\begin_inset ERT
|
|
status collapsed
|
|
|
|
\begin_layout Plain Layout
|
|
|
|
\backslash
|
|
end{lem}
|
|
\end_layout
|
|
|
|
\end_inset
|
|
|
|
|
|
\end_layout
|
|
|
|
\begin_layout Theorem
|
|
this is the theorem
|
|
\end_layout
|
|
|
|
\begin_layout Proof
|
|
this is the proof
|
|
\end_layout
|
|
|
|
\end_body
|
|
\end_document
|