diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-09-17 00:36:24 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-09-17 00:36:24 +0200 |
| commit | 5362771c14eccd80fd1a3ab6521c3a6ad9bb7838 (patch) | |
| tree | 4b64211436b5c5d7145cd552231591ed1c7e68f3 /library/numbers.tex | |
| parent | 3dca719ba8f9a59471f2c761cf8846cf597eae97 (diff) | |
Corrected Math Env Parsing
Since Latex has a really specify syntax for
\begin{cases} ... \end{cases}
The math mode in tokenizing had to be setup correctly.
Diffstat (limited to 'library/numbers.tex')
| -rw-r--r-- | library/numbers.tex | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/library/numbers.tex b/library/numbers.tex index 406553e..ac0a683 100644 --- a/library/numbers.tex +++ b/library/numbers.tex @@ -613,6 +613,9 @@ Laws of the order on the reals \subsection{Order on the reals} +\begin{axiom}\label{reals_order_is_transitive} + For all $x,y,z \in \reals$ such that $x < y$ and $y < z$ we have $x < z$. +\end{axiom} \begin{lemma}\label{plus_one_order} |