Employing the notation introduced in Notation 5.3.1.1.5, we have
\[ x_{0}\lhd y_{0}=x_{0}\lhd y \]
for each $y\in Y$, and
\[ x_{0}\lhd y=x_{0}\lhd y' \]
for each $y,y'\in Y$.
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.
Employing the notation introduced in Notation 5.3.1.1.5, we have
for each $y\in Y$, and
for each $y,y'\in Y$.
