We may state the equalities in Item 8, Item 9, Item 10, and Item 11 of Proposition 2.1.3.1.3 as the commutativity of the following diagrams:
Here's a breakdown of the differences between each PDF style:
| 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.
We may state the equalities in Item 8, Item 9, Item 10, and Item 11 of Proposition 2.1.3.1.3 as the commutativity of the following diagrams:
