From 6eea98cf3e66a07251e6370ea948898799d5055b Mon Sep 17 00:00:00 2001
From: Simon-Kor <52245124+Simon-Kor@users.noreply.github.com>
Date: Sat, 13 Apr 2024 13:01:14 +0200
Subject: 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
---
 latex/naproche.sty | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'latex')

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
-- 
cgit v1.2.3