From 038714aeb7d3fd46c4b9d79a0e6301efac4627ab Mon Sep 17 00:00:00 2001
From: Kenneth MacKenzie <kenneth.mackenzie@iohk.io>
Date: Tue, 7 Jan 2025 08:34:06 +0100
Subject: [PATCH] Fix some more typos (#6775)

---
 doc/plutus-core-spec/cardano/builtins1.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/plutus-core-spec/cardano/builtins1.tex b/doc/plutus-core-spec/cardano/builtins1.tex
index caf89757c0e..3cdebd21786 100644
--- a/doc/plutus-core-spec/cardano/builtins1.tex
+++ b/doc/plutus-core-spec/cardano/builtins1.tex
@@ -329,7 +329,7 @@ \subsubsection{Built-in functions}
 \nomenclature[Azz]{$\quotfn$, $\remfn$}{Integer division operations}
 
 \noindent The $\divfn$ and $\modfn$ functions form a pair, as do $\quotfn$ and $\remfn$;
-$\divfn$ should not be used in combination with $\modfn$, not should $\quotfn$ be used
+$\divfn$ should not be used in combination with $\remfn$, nor should $\quotfn$ be used
 with $\modfn$.
 
 For positive divisors $b$, $\divfn$ truncates downwards and $\modfn$ always
@@ -346,7 +346,7 @@ \subsubsection{Built-in functions}
         \hline
         $+$ & $+$ & $+$ & $+$ & $+$ & $+$ \\
         $-$ & $+$ & $-$ & $+$ & $-$ & $-$ \\
-        $+$ & $-$ & $-$ & $+$ & $+$ & $+$ \\
+        $+$ & $-$ & $-$ & $-$ & $-$ & $+$ \\
         $-$ & $-$ & $+$ & $-$ & $+$ & $-$ \\
         \hline
         \end{tabular}