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

Logical Or ()

-

𝕩: Sort Down

+

𝕩: Sort Down

Sort array 𝕩 in descending order.

↗️
       31415
 ⟨ 5 4 3 1 1 ⟩
 
-

𝕨 𝕩: Logical Or

+

𝕨 𝕩: Logical Or

Logical Or of 𝕨 and 𝕩.

Pervasive.

↗️
      1  0
-- 
cgit v1.2.3