mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-12 22:14:35 +00:00
96 lines
2.3 KiB
Plaintext
96 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 ":<3A><><EFBFBD><EFBFBD><EFBFBD>"
|
|||
|
|
# 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 ".# <20><><EFBFBD><EFBFBD>"
|
|||
|
|
# 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 ".# <20><><EFBFBD><EFBFBD><EFBFBD>"
|
|||
|
|
End
|
|||
|
|
|
|||
|
|
Style Lemma
|
|||
|
|
CopyStyle Theorem
|
|||
|
|
LatexName lemma
|
|||
|
|
LabelString ".# <20><><EFBFBD>"
|
|||
|
|
End
|
|||
|
|
|
|||
|
|
Style Claim
|
|||
|
|
CopyStyle Theorem
|
|||
|
|
LatexName claim
|
|||
|
|
LabelString ".# <20><><EFBFBD><EFBFBD>"
|
|||
|
|
End
|
|||
|
|
|
|||
|
|
Style Comment
|
|||
|
|
LabelString ": <20><><EFBFBD><EFBFBD>"
|
|||
|
|
End
|
|||
|
|
|
|||
|
|
Style Abstract
|
|||
|
|
LabelString "<22><><EFBFBD><EFBFBD><EFBFBD>"
|
|||
|
|
End
|