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/prefixes_take.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/help/prefixes_take.html') diff --git a/docs/help/prefixes_take.html b/docs/help/prefixes_take.html index 3b8395bf..f483e038 100644 --- a/docs/help/prefixes_take.html +++ b/docs/help/prefixes_take.html @@ -5,7 +5,7 @@

Up Arrow ()

-

𝕩: Prefixes

+

𝕩: Prefixes

Prefixes of array 𝕩 along its first axis.

↗️
        1234
 ⟨ ⟨⟩ ⟨ 1 ⟩ ⟨ 1 2 ⟩ ⟨ 1 2 3 ⟩ ⟨ 1 2 3 4 ⟩ ⟩
@@ -21,7 +21,7 @@
                                    ┘  
                                      ┘
 
-

𝕨 𝕩: Take

+

𝕨 𝕩: Take

For each integer in 𝕨, take that many elements from each dimension of 𝕩.

Negative numbers take from the end.

If any of the elements in 𝕨 are greater than the length of their respective dimension, the dimension is extended with a fill value.

-- cgit v1.2.3