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/markfirst_memberof.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/help/markfirst_memberof.html') diff --git a/docs/help/markfirst_memberof.html b/docs/help/markfirst_memberof.html index 78d53d3e..10dfc4e7 100644 --- a/docs/help/markfirst_memberof.html +++ b/docs/help/markfirst_memberof.html @@ -5,7 +5,7 @@

Element Of ()

-

𝕩: Unique Mask

+

𝕩: Unique Mask

Mark the first occurrence of each major cell in 𝕩 with a 1, and all other occurrences with a 0.

↗️
        4566475
 ⟨ 1 1 1 0 0 1 0 ⟩
@@ -15,7 +15,7 @@
         a
 ⟨ 1 1 1 ⟩
 
-

𝕨 𝕩: Member Of

+

𝕨 𝕩: Member Of

Is each element in 𝕨 a major cell of 𝕩?

↗️
       1  9
 ⟨ 1 ⟩
-- 
cgit v1.2.3