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/shiftbefore.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/help/shiftbefore.html') diff --git a/docs/help/shiftbefore.html b/docs/help/shiftbefore.html index 3530a391..5b5fa049 100644 --- a/docs/help/shiftbefore.html +++ b/docs/help/shiftbefore.html @@ -5,7 +5,7 @@

Left Pointing Double Angle Quotation («)

-

« 𝕩: Shift Before

+

« 𝕩: Shift Before

Remove the first element of 𝕩, add a cell of fill values to the end of the first axis of 𝕩.

↗️
       78 « 123
 ⟨ 2 3 78 ⟩
@@ -20,7 +20,7 @@
   0 0 0  
         ┘
 
-

𝕨 « 𝕩: Shift Before

+

𝕨 « 𝕩: Shift Before

Remove the first 𝕨 (length) major cells from 𝕩, join 𝕨 to the end of 𝕩. Ranks must match.

↗️
       85 « 123
 ⟨ 3 8 5 ⟩
-- 
cgit v1.2.3