From 9ce4441a2fec2f6bd301f9cf5ad801c9534d34eb Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Fri, 8 Jul 2022 21:41:09 -0400 Subject: =?UTF-8?q?Document=20multiple=20and=20computed=20=F0=9D=94=BE=20i?= =?UTF-8?q?n=20Depth=20(=E2=9A=87)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/doc/depth.html | 1 + 1 file changed, 1 insertion(+) (limited to 'docs/doc/depth.html') diff --git a/docs/doc/depth.html b/docs/doc/depth.html index 53518c35..596faa33 100644 --- a/docs/doc/depth.html +++ b/docs/doc/depth.html @@ -196,3 +196,4 @@ ↗️
    ≠⚇1 ⟨1,⟨2,⟨3,4⟩⟩,⟨5,⟨6,7⟩,⟨8,9,10⟩⟩,⟨11,12⟩⟩
 ⟨ 1 ⟨ 1 2 ⟩ ⟨ 1 2 3 ⟩ 2 ⟩
+

Like the Rank modifier, the right operand 𝔾 is really a function that returns the depth to be used, and that depth can be a single number, or a list of one to three numbers. One number gives the same depth to all arguments, two correspond to 𝕨 and 𝕩, and three to monadic 𝕩, and dyadic 𝕨 and 𝕩.

-- cgit v1.2.3