1999-09-27 18:44:28 +00:00
|
|
|
#% Do not delete the line below; configure depends on this
|
|
|
|
# \DeclareLaTeXClass[amsart]{article (AMS, sequential numbering)}
|
|
|
|
# AMS-Article textclass definition file. Taken from initial LyX source code
|
|
|
|
# and from the Article textclass definition file, following the AMS sample
|
|
|
|
# paper "testmath.tex" of January, 1995
|
|
|
|
# Author : David L. Johnson <dlj0@lehigh.edu>
|
2003-09-15 15:11:39 +00:00
|
|
|
#
|
1999-09-27 18:44:28 +00:00
|
|
|
# The "seq" version has all results, figures, etc., numbered in a separate
|
2003-09-15 15:11:39 +00:00
|
|
|
# sequence, without section numbers attached (Theorem (1), Corollary (1),
|
|
|
|
# Theorem (2), etc.).
|
|
|
|
#
|
1999-09-27 18:44:28 +00:00
|
|
|
# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
|
|
|
|
# modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
|
|
|
|
|
2005-10-21 16:11:36 +00:00
|
|
|
Format 2
|
1999-09-27 18:44:28 +00:00
|
|
|
Input amsart.layout
|
2003-09-15 15:11:39 +00:00
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
# Change the definitions of the theorem-like environments to get a
|
|
|
|
# better numbering.
|
2003-09-15 15:11:39 +00:00
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
Input amsmaths-seq.inc
|
|
|
|
|
|
|
|
# Use a simpler preamble.
|
|
|
|
|
2003-09-15 15:11:39 +00:00
|
|
|
Preamble
|
1999-09-27 18:44:28 +00:00
|
|
|
EndPreamble
|
|
|
|
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
# but more counters
|
|
|
|
|
|
|
|
Counter
|
|
|
|
Name corollary
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Counter
|
|
|
|
Name lemma
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Counter
|
|
|
|
Name proposition
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Counter
|
|
|
|
Name conjecture
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Counter
|
|
|
|
Name criterion
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Counter
|
|
|
|
Name algorithm
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Counter
|
|
|
|
Name fact
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Counter
|
|
|
|
Name axiom
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Counter
|
|
|
|
Name definition
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Counter
|
|
|
|
Name example
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Counter
|
|
|
|
Name condition
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Counter
|
|
|
|
Name problem
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Counter
|
|
|
|
Name exercise
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Counter
|
|
|
|
Name remark
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Counter
|
|
|
|
Name claim
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Counter
|
|
|
|
Name note
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Counter
|
|
|
|
Name notation
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Counter
|
|
|
|
Name summary
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Counter
|
|
|
|
Name acknowledgement
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Counter
|
|
|
|
Name case
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Counter
|
|
|
|
Name conclusion
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Style Theorem
|
|
|
|
LabelCounter theorem
|
|
|
|
LabelString "Theorem \arabic{theorem}."
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Style Corollary
|
|
|
|
LabelCounter corollary
|
|
|
|
LabelString "Corollary \arabic{corollary}."
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Style Lemma
|
|
|
|
LabelCounter lemma
|
|
|
|
LabelString "Lemma \arabic{lemma}."
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Style Proposition
|
|
|
|
LabelCounter proposition
|
|
|
|
LabelString "Proposition \arabic{proposition}."
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Style Conjecture
|
|
|
|
LabelCounter conjecture
|
|
|
|
LabelString "Conjecture \arabic{conjecture}."
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Style Criterion
|
|
|
|
LabelCounter criterion
|
|
|
|
LabelString "Criterion \arabic{criterion}."
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Style Algorithm
|
|
|
|
LabelCounter algorithm
|
|
|
|
LabelString "Algorithm \arabic{algorithm}."
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Style Fact
|
|
|
|
LabelCounter fact
|
|
|
|
LabelString "Fact \arabic{fact}."
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Style Axiom
|
|
|
|
LabelCounter axiom
|
|
|
|
LabelString "Axiom \arabic{axiom}."
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Style Definition
|
|
|
|
LabelCounter definition
|
|
|
|
LabelString "Definition \arabic{definition}."
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Style Example
|
|
|
|
LabelCounter example
|
|
|
|
LabelString "Example \arabic{example}."
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Style Condition
|
|
|
|
LabelCounter condition
|
|
|
|
LabelString "Condition \arabic{condition}."
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Style Problem
|
|
|
|
LabelCounter problem
|
|
|
|
LabelString "Problem \arabic{problem}."
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Style Exercise
|
2006-01-02 19:15:25 +00:00
|
|
|
LabelCounter exercise
|
|
|
|
LabelString "Exercise \arabic{exercise}."
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Style Remark
|
|
|
|
LabelCounter remark
|
|
|
|
LabelString "Remark \arabic{remark}."
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Style Claim
|
|
|
|
LabelCounter claim
|
|
|
|
LabelString "Claim \arabic{claim}."
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Style Note
|
|
|
|
LabelCounter note
|
|
|
|
LabelString "Note \arabic{note}."
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Style Notation
|
|
|
|
LabelCounter notation
|
|
|
|
LabelString "Notation \arabic{notation}."
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Style Summary
|
|
|
|
LabelCounter summary
|
|
|
|
LabelString "Summary \arabic{summary}."
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Style Acknowledgement
|
|
|
|
LabelCounter acknowledgement
|
|
|
|
LabelString "Acknowledgement \arabic{acknowledgement}."
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Style Case
|
|
|
|
LabelCounter case
|
|
|
|
LabelString "Case \arabic{case}."
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|
2003-09-15 15:11:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
Style Conclusion
|
|
|
|
LabelCounter conclusion
|
|
|
|
LabelString "Conclusion \arabic{conclusion}."
|
2003-10-13 09:50:10 +00:00
|
|
|
End
|