From 31b722e16e6a0f6b0f08e8409b2c7e240937bfed Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Wed, 27 Apr 2022 22:21:50 -0400 Subject: Documentation for Under --- docs/doc/constant.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/doc/constant.html') diff --git a/docs/doc/constant.html b/docs/doc/constant.html index 524a13f5..d68235aa 100644 --- a/docs/doc/constant.html +++ b/docs/doc/constant.html @@ -49,7 +49,7 @@ m {𝕨⌾(2⊸⊑) 𝕩} 1‿2‿3‿4 ⟨ 1 2 ¯3 4 ⟩ -

Here m is applied to 2⊑𝕩 even though we want to discard that value. Spelled as m, our context-free grammar knows it's a function argument, but this doesn't affect later usage. Under always applies 𝔽 as a function. The proper definition of the insertion function should use a ˙, like this:

+

Here m is applied to 2⊑𝕩 even though we want to discard that value. Spelled as m, our context-free grammar knows it's a function argument, but this doesn't affect later usage. Under always applies 𝔽 as a function. The proper definition of the insertion function should use a ˙, like this:

↗️
    m {𝕨˙⌾(2⊸⊑) 𝕩} 1‿2‿3‿4
 ⟨ 1 2 - 4 ⟩
-- cgit v1.2.3