mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-12-22 21:21:32 +00:00
b15c22e113
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@599 a592a061-630c-0410-9148-cb99ea01b6c8
97 lines
2.3 KiB
Plaintext
97 lines
2.3 KiB
Plaintext
#% 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>
|
|
|
|
Input article
|
|
|
|
Preamble
|
|
\newtheorem{theorem}{\R{\mem\shin\pe\tet}}[section]
|
|
\newtheorem{lemma}[theorem]{\R{\lamed\mem\he}}
|
|
\newtheorem{claim}[theorem]{\R{\tet\ayin\nun\he}}
|
|
\newtheorem{corollary}[theorem]{\R{\mem\samekh\qof\nun\he}}
|
|
\newenvironment{proof}{\R{\em \he\vav\kaf\het\he:}}{\hfill\rule{2mm}{2mm}\par\vspace{2mm}}
|
|
EndPreamble
|
|
|
|
# Proof style declaration
|
|
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 ":äçëåä"
|
|
EndLabelType Filled_Box
|
|
# standard font definition
|
|
Font
|
|
Shape Up
|
|
Size Normal
|
|
EndFont
|
|
# label font definition
|
|
LabelFont
|
|
Shape Italic
|
|
EndFont
|
|
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 ".# èôùî"
|
|
# 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 ".# äð÷ñî"
|
|
End
|
|
|
|
Style Lemma
|
|
CopyStyle Theorem
|
|
LatexName lemma
|
|
LabelString ".# äîì"
|
|
End
|
|
|
|
Style Claim
|
|
CopyStyle Theorem
|
|
LatexName claim
|
|
LabelString ".# äðòè"
|
|
End
|
|
|
|
Style Comment
|
|
LabelString ": äøòä"
|
|
End
|
|
|
|
Style Abstract
|
|
LabelString "øéö÷ú"
|
|
End |