search

PreTeXtBook / pretext

PreTeXt: an authoring and publishing system for scholarly documents
https://pretextbook.org
Other
266 stars 208 forks source link

Algorithm not in list of theorem-like environments #69

Closed kcrisman closed 9 years ago

kcrisman commented 9 years ago 
More precisely, <theorem>, <corollary>, <lemma>, <proposition>, <claim>, and <fact>, all behave exactly the same, requiring a statement (as a sequence of paragraphs) followed by an optional proof, and may have an optional title. The elements <definition>, <conjecture>, <axiom>, and <principle> are functionally the same, barring a proof (since they would never have one!). Definitions are an exception, as it is natural to place <notation> within—see the source for Definition 2.2 for an example.
rbeezer commented 9 years ago

Right! Thanks. Soon.

On 03/17/2015 09:33 AM, kcrisman wrote:

More precisely, , , , , , and , all behave exactly the same, requiring a statement (as a sequence of paragraphs) followed by an optional proof, and may have an optional title. The elements , , , and are functionally the same, barring a proof (since they would never have one!). Definitions are an exception, as it is natural to place within—see the source for Definition 2.2 for an example.

— Reply to this email directly or view it on GitHub https://github.com/rbeezer/mathbook/issues/69.

rbeezer commented 9 years ago

Added at a5266fe7. Thanks for the catch. -Rob