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

Multimap ()

-

𝕗𝔾 𝕩: Bind Left

+

𝕗𝔾 𝕩: Bind Left

Supply 𝕗 as a left argument to 𝔾 (𝕗 𝔾 𝕩).

𝕗 is a constant, 𝔾 must be dyadic.

↗️
       3- 9
@@ -14,7 +14,7 @@
        3 - 9
 ¯6
 
-

𝔽𝔾 𝕩: Before

+

𝔽𝔾 𝕩: Before

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

𝔽 must be monadic, 𝔾 must be dyadic.

↗️
       -+ 9
@@ -26,7 +26,7 @@
        (- 9) + 9
 0
 
-

𝕨 𝔽𝔾 𝕩: Dyadic Before

+

𝕨 𝔽𝔾 𝕩: Dyadic Before

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

𝔽 must be monadic, 𝔾 must be dyadic.

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