- 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 Normal
- Series Bold
- EndFont
- Preamble
-\newenvironment{proof}{\R{\textbf{äåëçä:}}}{\hfill\rule{2mm}{2mm}\par\vspace{2mm}}
- EndPreamble
+ Category Theorem
+ 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 "Proof:"
+ EndLabelType Filled_Box
+ Font
+ Shape Up
+ Size Normal
+ EndFont
+ LabelFont
+ Shape Up
+ Series Bold
+ EndFont
+ Preamble
+ \newenvironment{proof}%
+ {\R{\textbf{הוכחה:}}}%
+ {\hfill\rule{2mm}{2mm}\par\vspace{2mm}}
+ EndPreamble