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/indices_replicate.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/help/indices_replicate.html') diff --git a/docs/help/indices_replicate.html b/docs/help/indices_replicate.html index 3a98ac80..56590c4d 100644 --- a/docs/help/indices_replicate.html +++ b/docs/help/indices_replicate.html @@ -5,7 +5,7 @@

Solidus (/)

-

/ 𝕩: Indices

+

/ 𝕩: Indices

Repeat the index of each element in 𝕩 by the element's value. 𝕩 must be rank 1.

↗️
       / 123
 ⟨ 0 1 1 2 2 2 ⟩
@@ -13,7 +13,7 @@
        / 101
 ⟨ 0 2 ⟩
 
-

𝕨 / 𝕩: Replicate

+

𝕨 / 𝕩: Replicate

Repeat each major cell in 𝕩 by the corresponding element in 𝕨.

Atomic 𝕨 applies to all elements.

↗️
       3 / "copy"
-- 
cgit v1.2.3