From 3b6599b12470fe9b1321111d31c34685ffd5db52 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 24 Jan 2022 18:12:13 -0500 Subject: Github doesn't remove Unicode letters from header slugs apparently --- docs/help/insert.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/help/insert.html') diff --git a/docs/help/insert.html b/docs/help/insert.html index 43f9babb..1206deed 100644 --- a/docs/help/insert.html +++ b/docs/help/insert.html @@ -5,7 +5,7 @@

Double Acute Accent (˝)

-

𝔽˝ 𝕩: Insert

+

𝔽˝ 𝕩: Insert

Fold over 𝕩 with 𝔽 from right to left i.e. Insert 𝔽 between the major cells of 𝕩.

↗️
       a  33  9
 
@@ -15,7 +15,7 @@
        012 + 345 + 678
 ⟨ 9 12 15 ⟩
 
-

𝕨 𝔽˝ 𝕩: Insert With initial

+

𝕨 𝔽˝ 𝕩: Insert With initial

Monadic insert, but use 𝕨 as initial right argument.

If

↗️
       b  33  9
-- 
cgit v1.2.3