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/occurrencecount_progressiveindexof.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/help/occurrencecount_progressiveindexof.html') diff --git a/docs/help/occurrencecount_progressiveindexof.html b/docs/help/occurrencecount_progressiveindexof.html index 11b940f2..8bace1ab 100644 --- a/docs/help/occurrencecount_progressiveindexof.html +++ b/docs/help/occurrencecount_progressiveindexof.html @@ -5,7 +5,7 @@

Square Original Of or Equal To ()

-

𝕩: Occurrence Count

+

𝕩: Occurrence Count

Number of times each major cell of 𝕩 appears before itself.

↗️
           27181718284
 ⟨ 0 0 0 0 1 1 2 1 1 2 0 ⟩
@@ -16,7 +16,7 @@
   0 0 0 0 1 1 2 1 1 2 0  
                         ┘
 
-

𝕨 𝕩: Progressive Index Of

+

𝕨 𝕩: Progressive Index Of

Index of the first unused match of each major cell of 𝕩 in 𝕨. If there are no more matches left, length of 𝕨 is placed in that position.

↗️
        "aaa"  "aaaaa"
 ⟨ 0 1 2 3 3 ⟩
-- 
cgit v1.2.3