On Thu, Mar 15, 2001 at 11:43:53PM +0200, Alexandru Mustatea wrote:
> 3) How can I insert numbered lemmas, definitions etc. (not choosing AMS)?

Put the attached stdtheorem.inc file into ~/.lyx/layouts.
Now copy the style for use (e.g. article.layout) to ~/.lyx/layouts
and add to it (at the end) the following lines:

Input stdtheorem.inc
Preamble
\usepackage{amsthm}
\newtheorem{theorem}{Theorem}[section]
EndPreamble
Style Theorem
  Margin                First_Dynamic
  LatexType             Environment
  LatexName             theorem
  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

Style Corollary
  CopyStyle             Theorem
  LatexName             corollary
  LabelString           "Corollary #."
  Preamble
\newtheorem{corollary}[theorem]{Corollary}
  EndPreamble
End

Style Lemma
  CopyStyle             Theorem
  LatexName             lemma
  LabelString           "Lemma #."
  Preamble
\newtheorem{lemma}[theorem]{Lemma}
  EndPreamble
End

Style Claim
  CopyStyle             Theorem
  LatexName             claim
  LabelString           "Claim #."
  Preamble
\newtheorem{claim}[theorem]{Claim}
  EndPreamble
End

Style Proof
  Margin                First_Dynamic
  LatexType             Environment
  LatexName             proof
  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           "Proof:"
  EndLabelType          Filled_Box

  # standard font definition
  Font
    Shape               Up
    Size                Normal
  EndFont

  # label font definition
  LabelFont
    Shape               Italic
  EndFont
End

Reply via email to