diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-04-13 13:01:14 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-04-13 13:01:14 +0200 |
| commit | 6eea98cf3e66a07251e6370ea948898799d5055b (patch) | |
| tree | 99e869dd56fc529cbdc9d55bef0a6c3618fccd47 /latex/naproche.sty | |
| parent | 5c297fe2fde2ac9a926ba1911aa72d383450ce98 (diff) | |
first formalisation of addition on naturals
We try to Implement the Addition on natural numbers by a relation on N \times N to N such that some of the axioms of the addition holds
Diffstat (limited to 'latex/naproche.sty')
| -rw-r--r-- | latex/naproche.sty | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/latex/naproche.sty b/latex/naproche.sty index 9764693..d975f21 100644 --- a/latex/naproche.sty +++ b/latex/naproche.sty @@ -127,6 +127,8 @@ \newcommand{\Univ}[1]{\fun{Univ}(#1)} \newcommand{\upward}[2]{#2^{\uparrow #1}} \newcommand{\LeftOrb}[2]{#2\cdot #1} +\newcommand{\addpair}{\mathcal{H}} +%\newcommand{\add}[2]{(#1 + #2)} \newcommand\restrl[2]{{% we make the whole thing an ordinary symbol |