#% 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           ":החכוה"
  # 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