Fix conversion of minipages that contains tabulars.

[lyx.git] / lib / layouts / amsmaths.inc

# 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>
# This version has Theorems and other results numbered in one sequence, and all
# numbered environments (figures as well) containing the section number.
# (Themorem (1.1), Corollary (1.2) Theorem (1.3), etc.
# These are only the theorems styles environnements


# The environnements defined are :
# - Theorem
# - Theorem*
# - Corollary
# - Corollary*
# - Lemma
# - Lemma*
# - Proposition
# - Proposition*
# - Conjecture
# - Conjecture*
# - Criterion
# - Algorithm
# - Axiom
# - Definition
# - Definition*
# - Example
# - Example*
# - Condition
# - Problem
# - Exercise
# - Remark
# - Remark*
# - Note
# - Note*
# - Notation
# - Claim
# - Claim*
# - Summary
# - Acknowledgement
# - Acknowledgement*
# - Case
# - Conclusion
# - Conclusion*
# - Fact 
# - Fact*

# A hack: this is used to provide a preamble which is needed by other 
# style. Since this style has been obsoleted, it does not show up in 
# layout lists
Style TheoremStyle
  ObsoletedBy           Standard
  Preamble
    \theoremstyle{plain}
  EndPreamble
End


# Theorem-numbered style declaration
Style Theorem
  Margin                First_Dynamic
  LatexType             Environment
  LatexName             thm
  DependsOn             TheoremStyle
  NextNoIndent          1
  LabelSep              xx
  ParIndent             MMM  
  ParSkip               0.4
  ItemSep               0.2
  TopSep                0.7
  BottomSep             0.7
  ParSep                0.3
  Align                 Block
  AlignPossible         Block, Left
  LabelType             Static
  LabelString           "Theorem #."

  
  # standard font definition
  Font
    Shape               Italic
    Size                Normal
  EndFont

  # label font definition
  LabelFont
    Shape               Up
    Series              Bold
  EndFont

End  

# Theorem-unnumbered style declaration
Style Theorem*
  CopyStyle             Theorem
  LatexName             thm*
  LabelString           "Theorem."

  Preamble
    \theoremstyle{plain}    
    \newtheorem*{thm*}{Theorem} 
  EndPreamble
End  

# Corollary-numbered style declaration
Style Corollary
  CopyStyle             Theorem
  LatexName             cor
  LabelString           "Corollary #."

  Preamble
    \theoremstyle{plain}    
    \newtheorem{cor}[thm]{Corollary} %%Delete [thm] to re-start numbering
  EndPreamble
End  
# Corollary-unnumbered style declaration
Style Corollary*
  CopyStyle             Theorem
  LatexName             cor*
  LabelString           "Corollary."

  Preamble
    \theoremstyle{plain}    
    \newtheorem*{cor*}{Corollary}
  EndPreamble
End  

# Lemma-numbered style declaration
Style Lemma
  CopyStyle             Theorem
  LatexName             lem
  LabelString           "Lemma #."

  Preamble
    \theoremstyle{plain}    
    \newtheorem{lem}[thm]{Lemma} %%Delete [thm] to re-start numbering
  EndPreamble
End  

# Lemma-unnumbered style declaration
Style Lemma*
  CopyStyle             Theorem
  LatexName             lem*
  LabelString           "Lemma."

  Preamble
    \theoremstyle{plain}    
    \newtheorem*{lem*}{Lemma} %%Delete [thm] to re-start numbering
  EndPreamble
End  

# Proposition-numbered style declaration
Style Proposition
  CopyStyle             Theorem
  LatexName             prop
  LabelString           "Proposition #."

  Preamble
    \theoremstyle{plain}    
    \newtheorem{prop}[thm]{Proposition} %%Delete [thm] to re-start numbering
  EndPreamble
End  

# Proposition-unnumbered style declaration
Style Proposition*
  CopyStyle             Theorem
  LatexName             prop*
  LabelString           "Proposition."

  Preamble
    \theoremstyle{plain}    
    \newtheorem*{prop*}{Proposition} 
  EndPreamble
End  

# Conjecture-numbered style declaration
Style Conjecture
  CopyStyle             Theorem
  LatexName             conjecture
  LabelString           "Conjecture #."

  Preamble
    \theoremstyle{plain}    
    \newtheorem{conjecture}[thm]{Conjecture} %%Delete [thm] to re-start numbering
  EndPreamble
End  

# Conjecture-unnumbered style declaration
Style Conjecture*
  CopyStyle             Theorem
  LatexName             conjecture*
  LabelString           "Conjecture."

  Preamble
    \theoremstyle{plain}    
    \newtheorem*{conjecture*}{Conjecture} 
  EndPreamble
End 

# Criterion-numbered style declaration
Style Criterion
  CopyStyle             Theorem
  LatexName             criterion
  LabelString           "Criterion #."

  Preamble
    \theoremstyle{plain}    
    \newtheorem{criterion}[thm]{Criterion} %%Delete [thm] to re-start numbering
  EndPreamble
End  

# Algorithm-numbered style declaration
Style Algorithm
  CopyStyle             Theorem
  LatexName             algorithm
  LabelString           "Algorithm #."

  Preamble
    \theoremstyle{plain}    
    \newtheorem{algorithm}[thm]{Algorithm} %%Delete [thm] to re-start numbering
  EndPreamble
End  

# Fact-numbered style declaration
Style Fact
  CopyStyle             Theorem
  LatexName             fact
  LabelString           "Fact #."

  Preamble
    \theoremstyle{plain}    
    \newtheorem{fact}[thm]{Fact} 
  EndPreamble
End  

# Fact-unnumbered style declaration
Style Fact*
  CopyStyle             Theorem
  LatexName             fact*
  LabelString           "Fact."

  Preamble
    \theoremstyle{plain}    
    \newtheorem*{fact*}{Fact} 
  EndPreamble
End  

# Axiom-numbered style declaration
Style Axiom
  CopyStyle             Theorem
  LatexName             ax
  LabelString           "Axiom #."
  
  Preamble
    \theoremstyle{plain}    
    \newtheorem{ax}[thm]{Axiom} 
  EndPreamble
End  

# Definition-numbered style declaration
Style Definition
  CopyStyle             Theorem
  LatexName             defn
  LabelString           "Definition #."
  
  # standard font definition
  Font
    Shape               Up
  EndFont

  # label font definition
  LabelFont
    Shape               Up
    Series              Bold
  EndFont
 
  Preamble
   \theoremstyle{definition}
   \newtheorem{defn}[thm]{Definition}
  EndPreamble
End  
# Definition-unnumbered style declaration
Style Definition*
  CopyStyle             Definition
  LatexName             defn*
  LabelString           "Definition."
  
  Preamble
   \theoremstyle{definition}
   \newtheorem*{defn*}{Definition}
  EndPreamble
End  

# Example-numbered style declaration
Style Example
  CopyStyle             Definition
  LatexName             example
  LabelString           "Example #."

  Preamble
   \theoremstyle{definition}
    \newtheorem{example}[thm]{Example}
  EndPreamble
End  

# Example-unnumbered style declaration
Style Example*
  CopyStyle             Definition
  LatexName             example*
  LabelString           "Example."

  Preamble
   \theoremstyle{definition}
    \newtheorem*{example*}{Example}
  EndPreamble
End  

# Condition-numbered style declaration
Style Condition
  CopyStyle             Definition
  LatexName             condition
  LabelString           "Condition #."

  Preamble
   \theoremstyle{definition}
    \newtheorem{condition}[thm]{Condition}
  EndPreamble
End  

# Problem-numbered style declaration
Style Problem
  CopyStyle             Definition
  LatexName             problem
  LabelString           "Problem #."

  Preamble
   \theoremstyle{definition}
    \newtheorem{problem}[thm]{Problem}
  EndPreamble
End  

# Exercise-numbered style declaration
Style Exercise
  CopyStyle             Definition
  LatexName             xca
  LabelString           "Exercise #."

  Preamble
   \theoremstyle{definition}
    \newtheorem{xca}[section]{Exercise}%%Delete [section] for sequential numbering
  EndPreamble
End  

# Remark-numbered style declaration
Style Remark
  CopyStyle             Theorem
  LatexName             rem
  LabelString           "Remark #."
  
  # standard font definition
  Font
    Shape               Up
    Size                Normal
  EndFont

  # label font definition
  LabelFont
    Series              Medium
    Shape               Italic
  EndFont

  Preamble
    \theoremstyle{remark}
    \newtheorem{rem}[thm]{Remark}
  EndPreamble
End  
# Remark-unnumbered style declaration
Style Remark*
  CopyStyle             Remark
  LatexName             rem*
  LabelString           "Remark."

  Preamble
    \theoremstyle{remark}
    \newtheorem*{rem*}{Remark}
  EndPreamble
End  

# Claim-numbered style declaration
Style Claim
  CopyStyle             Remark
  LatexName             claim
  LabelString           "Claim #."

  Preamble
    \theoremstyle{remark}    
    \newtheorem{claim}[thm]{Claim}
  EndPreamble
End  

# Claim-unnumbered style declaration
Style Claim*
  CopyStyle             Remark
  LatexName             claim*
  LabelString           "Claim."

  Preamble
    \theoremstyle{remark}    
    \newtheorem*{claim*}{Claim}
  EndPreamble
End  

# Note-numbered style declaration
Style Note
  CopyStyle             Remark
  LatexName             note
  LabelString           "Note #."

  Preamble
    \theoremstyle{remark}    
    \newtheorem{note}[thm]{Note} 
  EndPreamble
End  

# Note-unnumbered style declaration
Style Note*
  CopyStyle             Remark
  LatexName             note*
  LabelString           "Note."

  Preamble
    \theoremstyle{remark}    
    \newtheorem*{note*}{Note} 
  EndPreamble
End  


# Notation-numbered style declaration
Style Notation
  CopyStyle             Remark
  LatexName             notation
  LabelString           "Notation #."

  Preamble
    \theoremstyle{remark}    
    \newtheorem{notation}[thm]{Notation} 
  EndPreamble
End  

# Summary-numbered style declaration
Style Summary
  CopyStyle             Remark
  LatexName             summary
  LabelString           "Summary #."

  Preamble
    \theoremstyle{remark}    
    \newtheorem{summary}[thm]{Summary} 
  EndPreamble
End  

# Acknowledgement-numbered style declaration
Style Acknowledgement
  CopyStyle             Remark
  LatexName             acknowledgement
  LabelString           "Acknowledgement #."

  Preamble
    \theoremstyle{remark}    
    \newtheorem{acknowledgement}[thm]{Acknowledgement} 
  EndPreamble
End  
# Acknowledgement-unnumbered style declaration
Style Acknowledgement*
  CopyStyle             Remark
  LatexName             acknowledgement*
  LabelString           "Acknowledgement."

  Preamble
    \theoremstyle{remark}    
    \newtheorem*{acknowledgement*}{Acknowledgement} 
  EndPreamble
End  

# Case-numbered style declaration
Style Case
  CopyStyle             Remark
  LatexName             case
  LabelString           "Case #."

  Preamble
    \theoremstyle{remark}    
    \newtheorem{case}{Case} %%Numbering of Cases not keyed to sections 
  EndPreamble
End  

# Conclusion-numbered style declaration
Style Conclusion
  CopyStyle             Remark
  LatexName             conclusion
  LabelString           "Conclusion #."

  Preamble
    \theoremstyle{remark}    
    \newtheorem{conclusion}[thm]{Conclusion} 
  EndPreamble
End  

# Conclusion-unnumbered style declaration
Style Conclusion*
  CopyStyle             Remark
  LatexName             conclusion*
  LabelString           "Conclusion #."

  Preamble
    \theoremstyle{remark}    
    \newtheorem*{conclusion*}{Conclusion} 
  EndPreamble
End