lyx_mirror/lib/layouts/amsmaths-plain.inc

168 lines
2.7 KiB
PHP
Raw Normal View History

# 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 plain (unnumbered) theorem styles environments.
# Both starred and unstarred versions are included for compatibility
# with the other AMS classes.
# The environments 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
Style Theorem
LatexName thm*
LabelString "Theorem."
End
Style Corollary
LatexName cor*
LabelString "Corollary."
End
Style Lemma
LatexName lem*
LabelString "Lemma."
End
Style Proposition
LatexName prop*
LabelString "Proposition."
End
Style Conjecture
LatexName conjecture*
LabelString "Conjecture."
End
Style Criterion
LatexName criterion*
LabelString "Criterion."
End
Style Algorithm
LatexName algorithm*
LabelString "Algorithm."
End
Style Fact
LatexName fact*
LabelString "Fact."
End
Style Axiom
LatexName ax*
LabelString "Axiom."
End
Style Definition
LatexName defn*
LabelString "Definition."
End
Style Example
LatexName example*
LabelString "Example."
End
Style Condition
LatexName condition*
LabelString "Condition."
End
Style Problem
LatexName problem*
LabelString "Problem."
End
Style Exercise
LatexName xca*
LabelString "Exercise."
End
Style Remark
LatexName rem*
LabelString "Remark."
End
Style Claim
LatexName claim*
LabelString "Claim."
End
Style Note
LatexName note*
LabelString "Note."
End
Style Notation
LatexName notation*
LabelString "Notation."
End
Style Summary
LatexName summary*
LabelString "Summary."
End
Style Acknowledgement
LatexName acknowledgement*
LabelString "Acknowledgement."
End
Style Conclusion
LatexName conclusion*
LabelString "Conclusion."
End
Style Assumption
LatexName assumption*
LabelString "Assumption."
End