2010-07-11 22:14:45 +00:00
|
|
|
# Reference prefixes for theorem environments
|
|
|
|
|
2023-07-28 22:21:47 +00:00
|
|
|
Format 104
|
2010-07-11 22:14:45 +00:00
|
|
|
|
2015-12-05 23:14:38 +00:00
|
|
|
ModifyStyle Theorem
|
2010-07-11 22:14:45 +00:00
|
|
|
RefPrefix thm
|
|
|
|
End
|
|
|
|
|
2015-12-05 23:14:38 +00:00
|
|
|
ModifyStyle Corollary
|
2010-07-11 22:14:45 +00:00
|
|
|
RefPrefix cor
|
|
|
|
End
|
|
|
|
|
2015-12-05 23:14:38 +00:00
|
|
|
ModifyStyle Lemma
|
2010-07-11 22:14:45 +00:00
|
|
|
RefPrefix lem
|
|
|
|
End
|
|
|
|
|
2015-12-05 23:14:38 +00:00
|
|
|
ModifyStyle Proposition
|
2010-07-11 22:14:45 +00:00
|
|
|
RefPrefix prop
|
|
|
|
End
|
2014-02-06 08:18:12 +00:00
|
|
|
|
2015-12-05 23:14:38 +00:00
|
|
|
ModifyStyle Conjecture
|
2014-02-06 08:18:12 +00:00
|
|
|
RefPrefix conj
|
|
|
|
End
|
|
|
|
|
2015-12-05 23:14:38 +00:00
|
|
|
ModifyStyle Definition
|
2014-02-06 08:18:12 +00:00
|
|
|
RefPrefix def
|
|
|
|
End
|
|
|
|
|
2015-12-05 23:14:38 +00:00
|
|
|
ModifyStyle Example
|
2014-02-06 08:18:12 +00:00
|
|
|
RefPrefix exa
|
|
|
|
End
|
|
|
|
|
2015-12-05 23:14:38 +00:00
|
|
|
ModifyStyle Problem
|
2014-02-06 08:18:12 +00:00
|
|
|
RefPrefix prob
|
|
|
|
End
|
|
|
|
|
2015-12-05 23:14:38 +00:00
|
|
|
ModifyStyle Exercise
|
2014-02-06 08:18:12 +00:00
|
|
|
RefPrefix exer
|
|
|
|
End
|
|
|
|
|
2015-12-05 23:14:38 +00:00
|
|
|
ModifyStyle Solution
|
2015-11-18 01:36:49 +00:00
|
|
|
RefPrefix solu
|
|
|
|
End
|
|
|
|
|
2015-12-05 23:14:38 +00:00
|
|
|
ModifyStyle Remark
|
2014-02-06 08:18:12 +00:00
|
|
|
RefPrefix rem
|
|
|
|
End
|
|
|
|
|
2015-12-05 23:14:38 +00:00
|
|
|
ModifyStyle Claim
|
2014-02-06 08:18:12 +00:00
|
|
|
RefPrefix claim
|
|
|
|
End
|
|
|
|
|
2015-12-05 23:14:38 +00:00
|
|
|
ModifyStyle Fact
|
2014-02-06 08:18:12 +00:00
|
|
|
RefPrefix fact
|
|
|
|
End
|
|
|
|
|
2015-12-05 23:14:38 +00:00
|
|
|
ModifyStyle Criterion
|
2014-02-06 08:18:12 +00:00
|
|
|
RefPrefix cri
|
|
|
|
End
|
|
|
|
|
2015-12-05 23:14:38 +00:00
|
|
|
ModifyStyle Algorithm
|
2014-02-06 08:18:12 +00:00
|
|
|
RefPrefix alg
|
|
|
|
End
|
|
|
|
|
2015-12-05 23:14:38 +00:00
|
|
|
ModifyStyle Axiom
|
2014-02-06 08:18:12 +00:00
|
|
|
RefPrefix axm
|
|
|
|
End
|
|
|
|
|
2015-12-05 23:14:38 +00:00
|
|
|
ModifyStyle Condition
|
2014-02-06 08:18:12 +00:00
|
|
|
RefPrefix cond
|
|
|
|
End
|
|
|
|
|
2015-12-05 23:14:38 +00:00
|
|
|
ModifyStyle Note
|
2014-02-06 08:18:12 +00:00
|
|
|
RefPrefix note
|
|
|
|
End
|
|
|
|
|
2015-12-05 23:14:38 +00:00
|
|
|
ModifyStyle Notation
|
2014-02-06 08:18:12 +00:00
|
|
|
RefPrefix nota
|
|
|
|
End
|
|
|
|
|
2015-12-05 23:14:38 +00:00
|
|
|
ModifyStyle Summary
|
2014-02-06 08:18:12 +00:00
|
|
|
RefPrefix sum
|
|
|
|
End
|
|
|
|
|
2015-12-05 23:14:38 +00:00
|
|
|
ModifyStyle Conclusion
|
2014-02-06 08:18:12 +00:00
|
|
|
RefPrefix conc
|
|
|
|
End
|
|
|
|
|
2015-12-05 23:14:38 +00:00
|
|
|
ModifyStyle Assumption
|
2014-02-06 08:18:12 +00:00
|
|
|
RefPrefix assu
|
|
|
|
End
|
2015-01-09 10:24:45 +00:00
|
|
|
|
2015-12-05 23:14:38 +00:00
|
|
|
ModifyStyle Question
|
2015-01-09 10:24:45 +00:00
|
|
|
RefPrefix que
|
|
|
|
End
|