lyx_mirror/lib/layouts/heb-article.layout

#% Do not delete the line below; configure depends on this
#  \DeclareLaTeXClass[article]{article (Hebrew)}
# Hebrew article textclass definition file.
# Author: Dekel Tsur <dekel@math.tau.ac.il>
# Few changes by Baruch Even <baruch.even@writeme.com>

Input article

Preamble
\usepackage{theorem}
\theorembodyfont{\upshape}
\newtheorem{theorem}{\R{<7B><><EFBFBD><EFBFBD>}}[section]
\make@lr\thetheorem
EndPreamble

Style Comment
  LabelString           ":<3A><><EFBFBD><EFBFBD>"
End

Style Abstract
  LabelString           "<22><><EFBFBD><EFBFBD><EFBFBD>"
End

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           ".# <20><><EFBFBD><EFBFBD>"
  # standard font definition
  Font
    Shape               Up
    Size                Normal
  EndFont
  # label font definition
  LabelFont
    Shape               Up
    Series              Bold
  EndFont
End

Style Lemma
  CopyStyle             Theorem
  LatexName             lemma
  LabelString           ".# <20><><EFBFBD>"
  Preamble
\newtheorem{lemma}[theorem]{\R{<7B><><EFBFBD>}}
  EndPreamble
End

Style Corollary
  CopyStyle             Theorem
  LatexName             corollary
  LabelString           ".# <20><><EFBFBD><EFBFBD><EFBFBD>"
  Preamble
\newtheorem{corollary}[theorem]{\R{<7B><><EFBFBD><EFBFBD><EFBFBD>}}
  EndPreamble
End

Style Claim
  CopyStyle             Theorem
  LatexName             claim
  LabelString           ".# <20><><EFBFBD><EFBFBD>"
  Preamble
\newtheorem{claim}[theorem]{\R{<7B><><EFBFBD><EFBFBD>}}
  EndPreamble
End

Style Definition
  CopyStyle             Theorem
  LatexName             definition
  LabelString           ".# <20><><EFBFBD><EFBFBD><EFBFBD>"
  Preamble
\newtheorem{definition}[theorem]{\R{<7B><><EFBFBD><EFBFBD><EFBFBD>}}
  EndPreamble
End

Style Remarks
  CopyStyle             Theorem
  LatexName             remark
  LabelString           ".# <20><><EFBFBD><EFBFBD>"
  Preamble
\newtheorem{remark}[theorem]{\R{<7B><><EFBFBD><EFBFBD>}}
  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           ":<3A><><EFBFBD><EFBFBD><EFBFBD>"
  EndLabelType		Filled_Box
  # standard font definition
  Font
    Shape               Up
    Size                Normal
  EndFont
  # label font definition
  LabelFont
    Shape               Normal
    Series              Bold
  EndFont
  Preamble
\newenvironment{proof}{\R{\textbf{<7B><><EFBFBD><EFBFBD><EFBFBD>:}}}{\hfill\rule{2mm}{2mm}\par\vspace{2mm}}
  EndPreamble
End