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/after_bind.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'docs/help/after_bind.html') diff --git a/docs/help/after_bind.html b/docs/help/after_bind.html index 8c7446de..f14f5386 100644 --- a/docs/help/after_bind.html +++ b/docs/help/after_bind.html @@ -5,7 +5,7 @@

Left Multimap ()

-

𝔽𝕘 𝕩: Bind

+

𝔽𝕘 𝕩: Bind

Supply 𝕘 as a right argument to 𝔽 (𝕩 𝔽 𝕘).

𝕘 is a constant, 𝔽 must be dyadic.

↗️
       -3 9
@@ -17,7 +17,7 @@
        9 - 3
 6
 
-

𝔽𝔾 𝕩: After

+

𝔽𝔾 𝕩: After

Apply 𝔾 to 𝕩, and supply it as a right argument to 𝔽 (𝕩 𝔽 (𝔾 𝕩)).

𝔽 must be dyadic, 𝔾 must be monadic.

↗️
       ×- 9
@@ -29,7 +29,7 @@
        9 × (- 9)
 ¯81
 
-

𝕨 𝔽𝔾 𝕩: Dyadic After

+

𝕨 𝔽𝔾 𝕩: Dyadic After

Apply 𝔾 to 𝕩, and supply it as a right argument to 𝔽 (𝕨 𝔽 (𝔾 𝕩)).

𝔽 must be dyadic, 𝔾 must be monadic.

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