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/atop.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/help/atop.html') diff --git a/docs/help/atop.html b/docs/help/atop.html index 62abd9a1..57c7bf3a 100644 --- a/docs/help/atop.html +++ b/docs/help/atop.html @@ -5,7 +5,7 @@

Ring Operator ()

-

𝔽𝔾 𝕩: Atop

+

𝔽𝔾 𝕩: Atop

Apply 𝔾 to 𝕩, then apply 𝔽 (𝔽 𝔾 𝕩).

𝔽 and 𝔾 must be monadic.

↗️
       -- 5
@@ -14,7 +14,7 @@
        - - 5
 5
 
-

𝕨 𝔽𝔾 𝕩: Dyadic Atop

+

𝕨 𝔽𝔾 𝕩: Dyadic Atop

Apply 𝔾 to 𝕨 and 𝕩, then apply 𝔽 (𝔽 (𝕨 𝔾 𝕩)).

𝔽 must be monadic, and 𝔾 must be dyadic.

↗️
       1 -+ 2
-- 
cgit v1.2.3