1 # Theorem-like counters, extended, separately for each type of theorem
6 PrettyFormat "Criterion \arabic{theorem}"
10 LaTeXName lyxalgorithm
11 PrettyFormat "Algorithm \arabic{theorem}"
16 PrettyFormat "Axiom \arabic{theorem}"
20 PrettyFormat "Condition \arabic{theorem}"
24 PrettyFormat "Note \arabic{theorem}"
28 PrettyFormat "Notation \arabic{theorem}"
32 PrettyFormat "Summary \arabic{theorem}"
36 PrettyFormat "Conclusion \arabic{theorem}"
40 PrettyFormat "Assumption \arabic{theorem}"
44 PrettyFormat "Question \arabic{theorem}"