mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-12-22 05:16:21 +00:00
b14af6b43c
* layouts/amsmaths.inc: make sure that the preamble of the Theorem layout is output when using other theorem like layouts that need its counter (bug 4282). git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@21174 a592a061-630c-0410-9148-cb99ea01b6c8
389 lines
6.2 KiB
PHP
389 lines
6.2 KiB
PHP
# Author : David L. Johnson <dlj0@lehigh.edu>
|
|
# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
|
|
# modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
|
|
# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
|
|
|
|
# These are only the theorems styles environnements
|
|
# The environnements defined are :
|
|
# - Theorem
|
|
# - Corollary
|
|
# - Lemma
|
|
# - Proposition
|
|
# - Conjecture
|
|
# - Criterion
|
|
# - Algorithm
|
|
# - Fact
|
|
# - Axiom
|
|
# - Definition
|
|
# - Example
|
|
# - Condition
|
|
# - Problem
|
|
# - Exercise
|
|
# - Remark
|
|
# - Claim
|
|
# - Note
|
|
# - Notation
|
|
# - Summary
|
|
# - Acknowledgement
|
|
# - Conclusion
|
|
# - Assumption
|
|
# - Case (regular only -- defined as an enumeration)
|
|
|
|
Format 5
|
|
|
|
# Use a simpler preamble.
|
|
|
|
Preamble
|
|
EndPreamble
|
|
|
|
|
|
# but more counters
|
|
|
|
# Do not restart theorem counter after section change
|
|
Counter
|
|
Name thm
|
|
End
|
|
|
|
Counter
|
|
Name corollary
|
|
End
|
|
|
|
|
|
Counter
|
|
Name lemma
|
|
End
|
|
|
|
|
|
Counter
|
|
Name proposition
|
|
End
|
|
|
|
|
|
Counter
|
|
Name conjecture
|
|
End
|
|
|
|
|
|
Counter
|
|
Name criterion
|
|
End
|
|
|
|
|
|
Counter
|
|
Name algorithm
|
|
End
|
|
|
|
|
|
Counter
|
|
Name fact
|
|
End
|
|
|
|
|
|
Counter
|
|
Name axiom
|
|
End
|
|
|
|
|
|
Counter
|
|
Name definition
|
|
End
|
|
|
|
|
|
Counter
|
|
Name example
|
|
End
|
|
|
|
|
|
Counter
|
|
Name condition
|
|
End
|
|
|
|
|
|
Counter
|
|
Name problem
|
|
End
|
|
|
|
|
|
Counter
|
|
Name exercise
|
|
End
|
|
|
|
|
|
Counter
|
|
Name remark
|
|
End
|
|
|
|
|
|
Counter
|
|
Name claim
|
|
End
|
|
|
|
|
|
Counter
|
|
Name note
|
|
End
|
|
|
|
|
|
Counter
|
|
Name notation
|
|
End
|
|
|
|
|
|
Counter
|
|
Name summary
|
|
End
|
|
|
|
|
|
Counter
|
|
Name acknowledgement
|
|
End
|
|
|
|
|
|
Counter
|
|
Name conclusion
|
|
End
|
|
|
|
Counter
|
|
Name assumption
|
|
End
|
|
|
|
Style Theorem
|
|
LabelCounter thm
|
|
LabelString "Theorem \arabic{thm}."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem{thm}{Theorem}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Corollary
|
|
LabelCounter corollary
|
|
DependsOn ""
|
|
LabelString "Corollary \arabic{corollary}."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem{cor}{Corollary}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Lemma
|
|
LabelCounter lemma
|
|
DependsOn ""
|
|
LabelString "Lemma \arabic{lemma}."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem{lem}{Lemma}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Proposition
|
|
LabelCounter proposition
|
|
DependsOn ""
|
|
LabelString "Proposition \arabic{proposition}."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem{prop}{Proposition}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Conjecture
|
|
LabelCounter conjecture
|
|
DependsOn ""
|
|
LabelString "Conjecture \arabic{conjecture}."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem{conjecture}{Conjecture}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Criterion
|
|
LabelCounter criterion
|
|
DependsOn ""
|
|
LabelString "Criterion \arabic{criterion}."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem{criterion}{Criterion}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Algorithm
|
|
LabelCounter algorithm
|
|
DependsOn ""
|
|
LabelString "Algorithm \arabic{algorithm}."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem{algorithm}{Algorithm}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Fact
|
|
LabelCounter fact
|
|
DependsOn ""
|
|
LabelString "Fact \arabic{fact}."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem{fact}{Fact}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Axiom
|
|
LabelCounter axiom
|
|
DependsOn ""
|
|
LabelString "Axiom \arabic{axiom}."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem{ax}{Axiom}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Definition
|
|
LabelCounter definition
|
|
DependsOn ""
|
|
LabelString "Definition \arabic{definition}."
|
|
Preamble
|
|
\theoremstyle{definition}
|
|
\newtheorem{defn}{Definition}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Example
|
|
LabelCounter example
|
|
DependsOn ""
|
|
LabelString "Example \arabic{example}."
|
|
Preamble
|
|
\theoremstyle{definition}
|
|
\newtheorem{example}{Example}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Condition
|
|
LabelCounter condition
|
|
DependsOn ""
|
|
LabelString "Condition \arabic{condition}."
|
|
Preamble
|
|
\theoremstyle{definition}
|
|
\newtheorem{condition}{Condition}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Problem
|
|
LabelCounter problem
|
|
DependsOn ""
|
|
LabelString "Problem \arabic{problem}."
|
|
Preamble
|
|
\theoremstyle{definition}
|
|
\newtheorem{problem}{Problem}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Exercise
|
|
LabelCounter exercise
|
|
DependsOn ""
|
|
LabelString "Exercise \arabic{exercise}."
|
|
Preamble
|
|
\theoremstyle{definition}
|
|
\newtheorem{xca}{Exercise}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Remark
|
|
LabelCounter remark
|
|
DependsOn ""
|
|
LabelString "Remark \arabic{remark}."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\newtheorem{rem}{Remark}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Claim
|
|
LabelCounter claim
|
|
DependsOn ""
|
|
LabelString "Claim \arabic{claim}."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\newtheorem{claim}{Claim}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Note
|
|
LabelCounter note
|
|
DependsOn ""
|
|
LabelString "Note \arabic{note}."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\newtheorem{note}{Note}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Notation
|
|
LabelCounter notation
|
|
DependsOn ""
|
|
LabelString "Notation \arabic{notation}."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\newtheorem{notation}{Notation}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Summary
|
|
LabelCounter summary
|
|
DependsOn ""
|
|
LabelString "Summary \arabic{summary}."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\newtheorem{summary}{Summary}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Acknowledgement
|
|
LabelCounter acknowledgement
|
|
DependsOn ""
|
|
LabelString "Acknowledgement \arabic{acknowledgement}."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\newtheorem{acknowledgement}{Acknowledgement}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Conclusion
|
|
LabelCounter conclusion
|
|
DependsOn ""
|
|
LabelString "Conclusion \arabic{conclusion}."
|
|
Preamble
|
|
\theoremstyle{remark}
|
|
\newtheorem{conclusion}{Conclusion}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Assumption
|
|
LabelCounter assumption
|
|
DependsOn ""
|
|
LabelString "Assumption \arabic{assumption}."
|
|
Preamble
|
|
\theoremstyle{plain}
|
|
\newtheorem{assumption}{Assumption}
|
|
EndPreamble
|
|
End
|