diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-05-28 16:26:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-28 16:26:19 +0200 |
| commit | a6a83d15a866d7ba40dfc6b733cea14314da3b25 (patch) | |
| tree | f41fd89c9e4f40f70201546073c19bccf19afe60 /latex | |
| parent | a5deeef9c3214f0f2ccd90789f5344a88544d65b (diff) | |
| parent | ecfb1a66f2159e078199e54edf8a80004c28195a (diff) | |
Merge branch 'main' into main
Diffstat (limited to 'latex')
| -rw-r--r-- | latex/naproche.sty | 3 | ||||
| -rw-r--r-- | latex/stdlib.tex | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/latex/naproche.sty b/latex/naproche.sty index 00ddf9a..476d3dd 100644 --- a/latex/naproche.sty +++ b/latex/naproche.sty @@ -129,6 +129,9 @@ \newcommand{\Univ}[1]{\fun{Univ}(#1)} \newcommand{\upward}[2]{#2^{\uparrow #1}} \newcommand{\LeftOrb}[2]{#2\cdot #1} +\newcommand{\integers}{\mathcal{Z}} +\newcommand{\zero}{0} +\newcommand{\one}{1} \newcommand\restrl[2]{{% we make the whole thing an ordinary symbol diff --git a/latex/stdlib.tex b/latex/stdlib.tex index 3673801..dba42a2 100644 --- a/latex/stdlib.tex +++ b/latex/stdlib.tex @@ -36,6 +36,8 @@ \input{../library/cardinal.tex} \input{../library/algebra/magma.tex} \input{../library/algebra/semigroup.tex} + \input{../library/algebra/monoid.tex} + \input{../library/algebra/group.tex} %\input{../library/algebra/quasigroup.tex} %\input{../library/algebra/loop.tex} \input{../library/order/order.tex} @@ -43,4 +45,5 @@ \input{../library/topology/topological-space.tex} \input{../library/topology/basis.tex} \input{../library/topology/disconnection.tex} + \input{../library/numbers.tex} \end{document} |