From cbac8ca4a5bf8ff38af3e512956ea1e468965194 Mon Sep 17 00:00:00 2001
From: Simon-Kor <52245124+Simon-Kor@users.noreply.github.com>
Date: Sun, 21 Jul 2024 12:26:20 +0200
Subject: Further Formalisation on numbers

---
 latex/naproche.sty | 1 +
 1 file changed, 1 insertion(+)

(limited to 'latex')

diff --git a/latex/naproche.sty b/latex/naproche.sty
index 476d3dd..7ef2359 100644
--- a/latex/naproche.sty
+++ b/latex/naproche.sty
@@ -132,6 +132,7 @@
 \newcommand{\integers}{\mathcal{Z}}
 \newcommand{\zero}{0}
 \newcommand{\one}{1}
+\newcommand{\rmul}{\cdot}
 
 
 \newcommand\restrl[2]{{% we make the whole thing an ordinary symbol
-- 
cgit v1.2.3