Amend and extend 9f3518bc

[lyx.git] / lib / examples / amsart-test.lyx

diff --git a/lib/examples/amsart-test.lyx b/lib/examples/amsart-test.lyx
index d2a9ea2cd2e36807d8cb5bdec834a8100cfae223..3e6d285564fc09c1a2ef665e99f1fdb4a0ffb93d 100644 (file)
--- a/lib/examples/amsart-test.lyx
+++ b/lib/examples/amsart-test.lyx
@@ -1,115 +1,154 @@
-#LyX 1.4.0cvs created this file. For more info see http://www.lyx.org/
-\lyxformat 243
+#LyX 2.2 created this file. For more info see http://www.lyx.org/
+\lyxformat 508

 \begin_document
 \begin_header
 \begin_document
 \begin_header

+\save_transient_properties true
+\origin /systemlyxdir/examples/

 \textclass amsart
 \textclass amsart

+\use_default_options false
+\begin_modules
+theorems-ams
+eqs-within-sections
+figs-within-sections
+theorems-ams-extended
+\end_modules
+\maintain_unincluded_children false

 \language english
 \language english

+\language_package default

 \inputencoding default
 \inputencoding default

-\fontscheme default
+\fontencoding global
+\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

 \graphics default
 \graphics default

+\default_output_format default
+\output_sync 0
+\bibtex_command default
+\index_command default

 \paperfontsize default
 \spacing single
 \paperfontsize default
 \spacing single

+\use_hyperref false

 \papersize default
 \use_geometry false
 \papersize default
 \use_geometry false

-\use_amsmath 0
+\use_package amsmath 0
+\use_package amssymb 0
+\use_package cancel 0
+\use_package esint 0
+\use_package mathdots 1
+\use_package mathtools 0
+\use_package mhchem 1
+\use_package stackrel 0
+\use_package stmaryrd 0
+\use_package undertilde 0

 \cite_engine basic
 \cite_engine basic

+\cite_engine_type default
+\biblio_style plain

 \use_bibtopic false
 \use_bibtopic false

+\use_indices false

 \paperorientation portrait
 \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
 \secnumdepth 3
 \tocdepth 3
 \paragraph_separation indent

-\defskip medskip
+\paragraph_indentation default

 \quotes_language english
 \quotes_language english

-\quotes_times 2

 \papercolumns 1
 \papersides 2
 \paperpagestyle default
 \tracking_changes false
 \papercolumns 1
 \papersides 2
 \paperpagestyle default
 \tracking_changes false

-\output_changes true
+\output_changes false
+\html_math_output 0
+\html_css_as_file 0
+\html_be_strict false

 \end_header
 
 \begin_body
 
 \begin_layout Title
 \end_header
 
 \begin_body
 
 \begin_layout Title

-

 Test of AMS-Art Style
 \end_layout
 
 \begin_layout Author
 Test of AMS-Art Style
 \end_layout
 
 \begin_layout Author

-

 David L.
  Johnson
 \end_layout
 
 \begin_layout Address
 David L.
  Johnson
 \end_layout
 
 \begin_layout Address

-

 Department of Mathematics
 Department of Mathematics

-\newline
+\begin_inset Newline newline
+\end_inset
+

 Lehigh University
 Lehigh University

-\newline
+\begin_inset Newline newline
+\end_inset
+

 Bethlehem, PA 18015
 \end_layout
 
 \begin_layout Current Address
 Bethlehem, PA 18015
 \end_layout
 
 \begin_layout Current Address

-

 Home
 \end_layout
 
 \begin_layout Email
 Home
 \end_layout
 
 \begin_layout Email

-

 dlj0@lehigh.edu
 \end_layout
 
 \begin_layout URL
 dlj0@lehigh.edu
 \end_layout
 
 \begin_layout URL

-

 http://www.lehigh.edu/~dlj0/dlj0.html
 \end_layout
 
 \begin_layout Keywords
 http://www.lehigh.edu/~dlj0/dlj0.html
 \end_layout
 
 \begin_layout Keywords

-

 Test
 \end_layout
 
 \begin_layout Thanks
 Test
 \end_layout
 
 \begin_layout Thanks

-

 To Emmanuel, for forcing me to fix this, and Jean-Marc, for making it possible,
  and necessary.
  Also to Mate, who suggested numerous improvements.
 \end_layout
 
 \begin_layout Dedicatory
 To Emmanuel, for forcing me to fix this, and Jean-Marc, for making it possible,
  and necessary.
  Also to Mate, who suggested numerous improvements.
 \end_layout
 
 \begin_layout Dedicatory

-

 To my wife.
 \end_layout
 
 \begin_layout Translator
 To my wife.
 \end_layout
 
 \begin_layout Translator

-

 Joe
 \end_layout
 
 \begin_layout Subjectclass
 Joe
 \end_layout
 
 \begin_layout Subjectclass

-

 Primary: 12G34, Secondary: 09G87
 \end_layout
 
 \begin_layout Abstract
 Primary: 12G34, Secondary: 09G87
 \end_layout
 
 \begin_layout Abstract

-

 This is not very abstract.
  Note that the abstract must be part of the title stuff for AMS.
 This is not very abstract.
  Note that the abstract must be part of the title stuff for AMS.

- LyX is aware of that since version 0.12.1.
+ \SpecialChar LyX
+ is aware of that since version 0.12.1.

  Good.
  
 \end_layout
 
 \begin_layout Section
  Good.
  
 \end_layout
 
 \begin_layout Section

-

 Introduction
 \end_layout
 
 \begin_layout Standard
 Introduction
 \end_layout
 
 \begin_layout Standard

-
-This file, and any amsart-* LyX file, can be converted to either of the
- numbering schemes by simply changing the document class in the 
+This file, and any amsart-* \SpecialChar LyX
+ file, can be converted to either of the numbering
+ schemes by simply changing the document class in the 

 \family sans
 \bar under
 L
 \family sans
 \bar under
 L


@@ -125,7 +164,6 @@ ocument
 \end_layout
 
 \begin_layout Enumerate
 \end_layout
 
 \begin_layout Enumerate

-

 amsart - The standard AMS-article format.
  All results and similar statements are numbered as 
 \begin_inset Formula $(n.m)$
 amsart - The standard AMS-article format.
  All results and similar statements are numbered as 
 \begin_inset Formula $(n.m)$


@@ -140,7 +178,6 @@ amsart - The standard AMS-article format.
 \end_layout
 
 \begin_layout Enumerate
 \end_layout
 
 \begin_layout Enumerate

-

 amsart-seq - Here, numbering for each type of statement is in its own sequence,
  with no reference to the section number.
  There are also many (but not all) environments available unnumbered, which
 amsart-seq - Here, numbering for each type of statement is in its own sequence,
  with no reference to the section number.
  There are also many (but not all) environments available unnumbered, which


@@ -148,12 +185,10 @@ amsart-seq - Here, numbering for each type of statement is in its own sequence,
 \end_layout
 
 \begin_layout Theorem
 \end_layout
 
 \begin_layout Theorem

-

 This is a numbered theorem
 \end_layout
 
 \begin_layout Proof
 This is a numbered theorem
 \end_layout
 
 \begin_layout Proof

-

 Here is its proof.
  Here is its proof.
  Here is its proof.
 Here is its proof.
  Here is its proof.
  Here is its proof.


@@ -164,22 +199,20 @@ Here is its proof.
 \end_layout
 
 \begin_layout Standard
 \end_layout
 
 \begin_layout Standard

-

 More text.
  Note that two occurrences of the same environment, like two definitions,
  need to be separated somehow.
  For the moment, the best way is to include a paragraph with a %, in the
 More text.
  Note that two occurrences of the same environment, like two definitions,
  need to be separated somehow.
  For the moment, the best way is to include a paragraph with a %, in the

- LaTeX environment, if you really want two definitions (or whatever) together,
+ \SpecialChar LaTeX
+ environment, if you really want two definitions (or whatever) together,

  with no intervening text of another sort.
 \end_layout
 
 \begin_layout Theorem*
  with no intervening text of another sort.
 \end_layout
 
 \begin_layout Theorem*

-

 This is an unnumbered theorem
 \end_layout
 
 \begin_layout Proof
 This is an unnumbered theorem
 \end_layout
 
 \begin_layout Proof

-

 Here is its proof.
  Here is its proof.
  Here is its proof.
 Here is its proof.
  Here is its proof.
  Here is its proof.


@@ -189,28 +222,24 @@ Here is its proof.
 \end_layout
 
 \begin_layout Corollary
 \end_layout
 
 \begin_layout Corollary

-

 First corollary.
 \end_layout
 
 \begin_layout Proof
 First corollary.
 \end_layout
 
 \begin_layout Proof

-

 Its proof.
 \end_layout
 
 \begin_layout Corollary*
 Its proof.
 \end_layout
 
 \begin_layout Corollary*

-

 Unnumbered corollary.
  
 \end_layout
 
 \begin_layout Standard
 Unnumbered corollary.
  
 \end_layout
 
 \begin_layout Standard

-
-

 \begin_inset ERT
 status collapsed
 
 \begin_inset ERT
 status collapsed
 

-\begin_layout Standard
+\begin_layout Plain Layout
+

 %
 \end_layout
 
 %
 \end_layout
 


@@ -220,53 +249,43 @@ status collapsed
 \end_layout
 
 \begin_layout Corollary*
 \end_layout
 
 \begin_layout Corollary*

-

 A second, with no intervening text.
  Note the % to force a separation.
 \end_layout
 
 \begin_layout Lemma
 A second, with no intervening text.
  Note the % to force a separation.
 \end_layout
 
 \begin_layout Lemma

-

 Lemma number 1
 \end_layout
 
 \begin_layout Proposition
 Lemma number 1
 \end_layout
 
 \begin_layout Proposition

-

 First proposition.
 \end_layout
 
 \begin_layout Proposition*
 First proposition.
 \end_layout
 
 \begin_layout Proposition*

-

 Unnumbered version.
 \end_layout
 
 \begin_layout Conjecture
 Unnumbered version.
 \end_layout
 
 \begin_layout Conjecture

-

 A wild guess.
 \end_layout
 
 \begin_layout Conjecture*
 A wild guess.
 \end_layout
 
 \begin_layout Conjecture*

-

 So wild I didn't number it.
 \end_layout
 
 \begin_layout Criterion
 So wild I didn't number it.
 \end_layout
 
 \begin_layout Criterion

-

 Need some criteria
 \end_layout
 
 \begin_layout Algorithm
 Need some criteria
 \end_layout
 
 \begin_layout Algorithm

-

 first this, then the next
 \end_layout
 
 \begin_layout Fact
 first this, then the next
 \end_layout
 
 \begin_layout Fact

-

 Not fiction.
 \end_layout
 
 \begin_layout Fact*
 Not fiction.
 \end_layout
 
 \begin_layout Fact*

-

 Bald statement of fact.
  Unnumbered environments are often used for emphasis, or in a short presentation
  that doesn't require numbered results.
 Bald statement of fact.
  Unnumbered environments are often used for emphasis, or in a short presentation
  that doesn't require numbered results.


@@ -274,22 +293,18 @@ Bald statement of fact.
 \end_layout
 
 \begin_layout Axiom
 \end_layout
 
 \begin_layout Axiom

-

 It stands to reason.
 \end_layout
 
 \begin_layout Definition
 It stands to reason.
 \end_layout
 
 \begin_layout Definition

-

 a word means exactly what I say it means.
 \end_layout
 
 \begin_layout Definition*
 a word means exactly what I say it means.
 \end_layout
 
 \begin_layout Definition*

-

 Unnumbered.
 \end_layout
 
 \begin_layout Standard
 Unnumbered.
 \end_layout
 
 \begin_layout Standard

-

 Plain text.
  Plain text.
  Plain text.
 Plain text.
  Plain text.
  Plain text.


@@ -304,12 +319,10 @@ Plain text.
 \end_layout
 
 \begin_layout Example
 \end_layout
 
 \begin_layout Example

-

 This should be an example.
 \end_layout
 
 \begin_layout Standard
 This should be an example.
 \end_layout
 
 \begin_layout Standard

-

 Plain text.
  Plain text.
  Plain text.
 Plain text.
  Plain text.
  Plain text.


@@ -327,83 +340,66 @@ Plain text.
 \end_layout
 
 \begin_layout Condition
 \end_layout
 
 \begin_layout Condition

-

 If you say so.
 \end_layout
 
 \begin_layout Problem
 If you say so.
 \end_layout
 
 \begin_layout Problem

-

 I don't know what to write is the problem.
 \end_layout
 
 \begin_layout Remark
 I don't know what to write is the problem.
 \end_layout
 
 \begin_layout Remark

-

 I think this will be useful.
 \end_layout
 
 \begin_layout Claim
 I think this will be useful.
 \end_layout
 
 \begin_layout Claim

-

 I did it the way the documentation said to.
 \end_layout
 
 \begin_layout Note
 I did it the way the documentation said to.
 \end_layout
 
 \begin_layout Note

-

 It may need more work yet.
 \end_layout
 
 \begin_layout Standard
 It may need more work yet.
 \end_layout
 
 \begin_layout Standard

-

 More plain text, in standard format.
 \end_layout
 
 \begin_layout Theorem
 More plain text, in standard format.
 \end_layout
 
 \begin_layout Theorem

-

 This is a second numbered theorem
 \end_layout
 
 \begin_layout Proof
 This is a second numbered theorem
 \end_layout
 
 \begin_layout Proof

-

 Here is its proof.
 \end_layout
 
 \begin_layout Standard
 Here is its proof.
 \end_layout
 
 \begin_layout Standard

-

 More text.
 \end_layout
 
 \begin_layout Corollary
 More text.
 \end_layout
 
 \begin_layout Corollary

-

 Second corollary.
 \end_layout
 
 \begin_layout Proof
 Second corollary.
 \end_layout
 
 \begin_layout Proof

-

 Its proof.
 \end_layout
 
 \begin_layout Lemma
 Its proof.
 \end_layout
 
 \begin_layout Lemma

-

 Lemma number 2
 \end_layout
 
 \begin_layout Proposition
 Lemma number 2
 \end_layout
 
 \begin_layout Proposition

-

 Second proposition.
 \end_layout
 
 \begin_layout Conjecture
 Second proposition.
 \end_layout
 
 \begin_layout Conjecture

-

 A wild guess.
 \end_layout
 
 \begin_layout Criterion
 A wild guess.
 \end_layout
 
 \begin_layout Criterion

-

 Need some criteria
 \end_layout
 
 \begin_layout Notation
 Need some criteria
 \end_layout
 
 \begin_layout Notation

-
-

 \begin_inset Formula $S=\mathbb{R}$
 \end_inset
 
 \begin_inset Formula $S=\mathbb{R}$
 \end_inset
 


@@ -411,254 +407,210 @@ Need some criteria
 \end_layout
 
 \begin_layout Summary
 \end_layout
 
 \begin_layout Summary

-

 In the end, will it matter?
 \end_layout
 
 \begin_layout Acknowledgement
 In the end, will it matter?
 \end_layout
 
 \begin_layout Acknowledgement

-

 Thanks to Mattias Ettrich.
 Thanks to Mattias Ettrich.

- Without him I never would have learned LaTeX.
+ Without him I never would have learned \SpecialChar LaTeX
+.

 \end_layout
 
 \begin_layout Case
 \end_layout
 
 \begin_layout Case

-

 If this works, then the rest will.
 \end_layout
 
 \begin_layout Conclusion
 If this works, then the rest will.
 \end_layout
 
 \begin_layout Conclusion

-

 It seems to work.
 \end_layout
 
 \begin_layout Proof
 It seems to work.
 \end_layout
 
 \begin_layout Proof

-

 Here goes another proof.
 \end_layout
 
 \begin_layout Standard
 Here goes another proof.
 \end_layout
 
 \begin_layout Standard

-

 Plain text.
 \end_layout
 
 \begin_layout Section
 Plain text.
 \end_layout
 
 \begin_layout Section

-

 Next try.
 \end_layout
 
 \begin_layout Standard
 Next try.
 \end_layout
 
 \begin_layout Standard

-

 This tries out the section environments.
 \end_layout
 
 \begin_layout Theorem
 This tries out the section environments.
 \end_layout
 
 \begin_layout Theorem

-

 This is a theorem
 \end_layout
 
 \begin_layout Proof
 This is a theorem
 \end_layout
 
 \begin_layout Proof

-

 Here is its proof.
 \end_layout
 
 \begin_layout Standard
 Here is its proof.
 \end_layout
 
 \begin_layout Standard

-

 More text.
 \end_layout
 
 \begin_layout Corollary
 More text.
 \end_layout
 
 \begin_layout Corollary

-

 Third corollary.
  First one of this section.
 \end_layout
 
 \begin_layout Proof
 Third corollary.
  First one of this section.
 \end_layout
 
 \begin_layout Proof

-

 Its proof.
 \end_layout
 
 \begin_layout Lemma
 Its proof.
 \end_layout
 
 \begin_layout Lemma

-

 Lemma number 3
 \end_layout
 
 \begin_layout Proposition
 Lemma number 3
 \end_layout
 
 \begin_layout Proposition

-

 Third proposition.
 \end_layout
 
 \begin_layout Conjecture
 Third proposition.
 \end_layout
 
 \begin_layout Conjecture

-

 A wild guess.
 \end_layout
 
 \begin_layout Criterion
 A wild guess.
 \end_layout
 
 \begin_layout Criterion

-

 Need some criteria
 \end_layout
 
 \begin_layout Subsection
 Need some criteria
 \end_layout
 
 \begin_layout Subsection

-

 This is a subsection
 \end_layout
 
 \begin_layout Standard
 This is a subsection
 \end_layout
 
 \begin_layout Standard

-

 With more results therein.
 \end_layout
 
 \begin_layout Theorem
 With more results therein.
 \end_layout
 
 \begin_layout Theorem

-

 This is a theorem, maybe the fourth one.
 \end_layout
 
 \begin_layout Proof
 This is a theorem, maybe the fourth one.
 \end_layout
 
 \begin_layout Proof

-

 Here is its proof.
 \end_layout
 
 \begin_layout Standard
 Here is its proof.
 \end_layout
 
 \begin_layout Standard

-

 More text.
 \end_layout
 
 \begin_layout Corollary
 More text.
 \end_layout
 
 \begin_layout Corollary

-

 Fourth corollary.
 \end_layout
 
 \begin_layout Proof
 Fourth corollary.
 \end_layout
 
 \begin_layout Proof

-

 Its proof.
 \end_layout
 
 \begin_layout Lemma
 Its proof.
 \end_layout
 
 \begin_layout Lemma

-

 Lemma number 4
 \end_layout
 
 \begin_layout Proposition
 Lemma number 4
 \end_layout
 
 \begin_layout Proposition

-

 Fourth proposition.
 \end_layout
 
 \begin_layout Conjecture
 Fourth proposition.
 \end_layout
 
 \begin_layout Conjecture

-

 A wild guess.
 \end_layout
 
 \begin_layout Criterion
 A wild guess.
 \end_layout
 
 \begin_layout Criterion

-

 Need some criteria
 \end_layout
 
 \begin_layout Standard
 Need some criteria
 \end_layout
 
 \begin_layout Standard

-

 More random text.
 \end_layout
 
 \begin_layout Theorem
 More random text.
 \end_layout
 
 \begin_layout Theorem

-

 This is a theorem
 \end_layout
 
 \begin_layout Proof
 This is a theorem
 \end_layout
 
 \begin_layout Proof

-

 Here is its proof.
 \end_layout
 
 \begin_layout Standard
 Here is its proof.
 \end_layout
 
 \begin_layout Standard

-

 More text.
 \end_layout
 
 \begin_layout Claim
 More text.
 \end_layout
 
 \begin_layout Claim

-

 I believe this is true.
 \end_layout
 
 \begin_layout Proof
 I believe this is true.
 \end_layout
 
 \begin_layout Proof

-

 Its proof.
 \end_layout
 
 \begin_layout Lemma
 Its proof.
 \end_layout
 
 \begin_layout Lemma

-

 Lemma number 5
 \end_layout
 
 \begin_layout Proposition
 Lemma number 5
 \end_layout
 
 \begin_layout Proposition

-

 Fifth proposition.
 \end_layout
 
 \begin_layout Conjecture
 Fifth proposition.
 \end_layout
 
 \begin_layout Conjecture

-

 A wild guess.
 \end_layout
 
 \begin_layout Criterion
 A wild guess.
 \end_layout
 
 \begin_layout Criterion

-

 Need some criteria
 \end_layout
 
 \begin_layout Subsubsection
 Need some criteria
 \end_layout
 
 \begin_layout Subsubsection

-

 This is the subsection with results.
 \end_layout
 
 \begin_layout Standard
 This is the subsection with results.
 \end_layout
 
 \begin_layout Standard

-

 The quick, brown fox jumped over the lazy dog.
 \end_layout
 
 \begin_layout Theorem
 The quick, brown fox jumped over the lazy dog.
 \end_layout
 
 \begin_layout Theorem

-

 This is a theorem - sixth in the series
 \end_layout
 
 \begin_layout Proof
 This is a theorem - sixth in the series
 \end_layout
 
 \begin_layout Proof

-

 Here is its proof.
 \end_layout
 
 \begin_layout Standard
 Here is its proof.
 \end_layout
 
 \begin_layout Standard

-

 More text.
 \end_layout
 
 \begin_layout Corollary
 More text.
 \end_layout
 
 \begin_layout Corollary

-

 Sixth corollary.
 \end_layout
 
 \begin_layout Proof
 Sixth corollary.
 \end_layout
 
 \begin_layout Proof

-

 Its proof.
 \end_layout
 
 \begin_layout Lemma
 Its proof.
 \end_layout
 
 \begin_layout Lemma

-

 Lemma number 6
 \end_layout
 
 \begin_layout Proposition
 Lemma number 6
 \end_layout
 
 \begin_layout Proposition

-

 Sixth proposition.
 \end_layout
 
 \begin_layout Conjecture
 Sixth proposition.
 \end_layout
 
 \begin_layout Conjecture

-

 A wild guess.
 \end_layout
 
 \begin_layout Criterion
 A wild guess.
 \end_layout
 
 \begin_layout Criterion

-

 Need some criteria
 \end_layout
 
 \begin_layout Bibliography
 Need some criteria
 \end_layout
 
 \begin_layout Bibliography

-\bibitem {1}
+\begin_inset CommandInset bibitem
+LatexCommand bibitem
+key "1"
+
+\end_inset

 
 Johnson, D.
  L.
 
 Johnson, D.
  L.


@@ -668,17 +620,26 @@ Out of my head
 \end_layout
 
 \begin_layout Bibliography
 \end_layout
 
 \begin_layout Bibliography

-\bibitem {2}
+\begin_inset CommandInset bibitem
+LatexCommand bibitem
+key "2"
+
+\end_inset

 
 American Mathematical Society, 
 \emph on
 
 American Mathematical Society, 
 \emph on

-Instructions for preparation of papers and monographs: AMS-LaTeX
+Instructions for preparation of papers and monographs: AMS-\SpecialChar LaTeX
+

 \emph default
 , (1997).
 \end_layout
 
 \begin_layout Bibliography
 \emph default
 , (1997).
 \end_layout
 
 \begin_layout Bibliography

-\bibitem {3}
+\begin_inset CommandInset bibitem
+LatexCommand bibitem
+key "3"
+
+\end_inset

 
 American Mathematical Society, 
 \end_layout
 
 American Mathematical Society, 
 \end_layout