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]
\AtBeginDocument{\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               Up
	  Series              Bold
	EndFont
	Preamble
\newenvironment{proof}{\R{\textbf{<7B><><EFBFBD><EFBFBD><EFBFBD>:}}}{\hfill\rule{2mm}{2mm}\par\vspace{2mm}}
	EndPreamble
End