Notes regarding the Clowder Project
Large Diagrams and the Zoom In Feature. This work features many diagrams that are unfortunately too large to be comfortably legible in their native size. To compensate for this, it's possible to click on them to expand their size by 200%, or alternatively open them as separate images in new tabs by right-clicking and then selecting “Open image in new tab”.
A Note on Style. There are a few uncommon stylistic choices made throughout these notes:
- Every proposition, theorem, lemma, etc. needs to come with a proof, even if the latter simply reads “Omitted.”. This is to ensure results without proof are clearly labeled as such.
- Every proof must read either “Omitted” or be properly justified, no matter how trivial the details are. Expressions like “it is clear”, “it is straighforward to show that”, “it is obvious”, etc. inside proofs are forbidden.
- This project should work also as a wiki so there's a considerably larger amount of repetition than is usual in a math text, as well as non-linearity.
Preferences. You can change the font of the site, the style of the PDFs, as well as turn on dark mode by clicking the gear button at the top of the page.
PDF Styles. The PDFs for each chapter as well as for the whole book are generated using four different styles, as summarised in the following table:
| Style | Class | Font | Theorem Environments |
|---|---|---|---|
| Style 1 | book |
Alegreya Sans | tcbthm |
| Style 2 | book |
Alegreya Sans | amsthm |
| Style 3 | book |
Arno* | amsthm |
| Style 4 | book |
Computer Modern | amsthm |
*To be replaced with Linus Romer's Elemaints when it is released.
Placeholder Symbols and Future Style. Currently, a number of macros have been defined using placeholder symbols, and look very ugly as a result.
This is because we eventually plan to replace them with (the math font for) Darwin, a free and open-source typeface project currently being worked on, and which will eventually allow us more freedom in writing these notes:
You can find more details about Darwin at its GitHub repository or website.