search

typst / templates

Templates that are directly maintained by the Typst team.
MIT No Attribution
228 stars 22 forks source link

AMS: More AMS Enunciations #43

Open lukedaviskzn opened 2 months ago

lukedaviskzn commented 2 months ago

The AMS style guide (ch. 4, sec. 1) specifies 4 types of enunciation styles: theorems, proofs, definitions, and remarks

I have added conjecture, corollary, lemma, proposition, definition, remark, and notation. As well as 4 functions to generate enunciations with arbitrary supplements for each of the 4 styles.

I felt these were the most common enunciations, but there are many more listed in the style guide.

laurmaedje commented 1 week ago

Thanks for your work on this! However, I think it might make more sense to integrate with or enable easy usage of an existing package for theorems, rather than hand-rolling it in the template.