-
-Style Property
- CopyStyle Claim
- LatexName property
- LabelString "Property #."
-End
-
-
-Style Proposition
- CopyStyle Corollary
- LatexName proposition
- LabelString "Proposition #."
-End
-
-
-Style Question
- CopyStyle Claim
- LatexName question
- LabelString "Question #."
- RefPrefix que
-End
-
-
-Style Remark
- CopyStyle Claim
- LatexName remark
- LabelString "Remark #."
- RefPrefix rem
-End
-
-
-Style Theorem
- CopyStyle Corollary
- LatexName theorem
- LabelString "Theorem #."
-End
-
-
-Style Exercise
- CopyStyle Definition
- Category Exercise
- LatexName exercise
- LabelString "Exercise #."
- RefPrefix exerc
-End
-
-Style Prob
- CopyStyle Claim
- Category Exercise
- LatexName prob
- LabelString "#"
- LabelFont
- Series Bold
- Shape Up
- EndFont
- RefPrefix prob
-End
-
-
-# Current implementation of the Style Preface for backwards compatibility
-# In future versions the directive "Reqyired Args 1" should be uncommented
-# so that a required argument is used rather than ERT.
-Style Sol
- CopyStyle Prob
- LatexName sol
- LabelString "#={label}"
-# RequiredArgs 1
- NextNoIndent 0
- RefPrefix sol
-End
-
-Style Problem_(theorem-like)
- CopyStyle Claim
- LabelFont
- Series Bold
- Shape Up
- EndFont
- Category Exercise
- LatexName problem
- LabelString "Problem #."
- RefPrefix prob
-End
-
-Style Solution_(theorem-like)
- CopyStyle Problem_(theorem-like)
- LatexName solution
- LabelString "Solution #."
- RefPrefix sol
- OptionalArgs 1
-End
-
-
-Style Description
- OptionalArgs 1
-End
-
-
-
-
-