From c6cab48977311e88bf26c0d5b25ee09b95817ab4 Mon Sep 17 00:00:00 2001
From: razetime <raghuallthetime@hotmail.com>
Date: Thu, 20 Jan 2022 08:47:02 +0530
Subject: fix repl redef errors

---
 help/insert.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'help/insert.md')

diff --git a/help/insert.md b/help/insert.md
index 0acfb575..b038b34f 100644
--- a/help/insert.md
+++ b/help/insert.md
@@ -19,11 +19,11 @@ Monadic insert, but use `𝕨` as initial right argument.
 
 If 
     
-           a ← 3‿3 ⥊ ↕9
+           b ← 3‿3 ⥊ ↕9
 
-           1‿1‿1 +˝ a
+           1‿1‿1 +˝ b
 
-           1 +˝ a
+           1 +˝ b
 
            0‿1‿2 + 3‿4‿5 + 6‿7‿8 + 1‿1‿1
 
-- 
cgit v1.2.3