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/table.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/help/table.html') diff --git a/docs/help/table.html b/docs/help/table.html index 37fae089..30e52d2a 100644 --- a/docs/help/table.html +++ b/docs/help/table.html @@ -5,7 +5,7 @@

Top Left Corner ()

-

𝕨 𝔽 𝕩: Each

+

𝕨 𝔽 𝕩: Each

Apply 𝔽 between every possible pair of the elements of the arguments.

↗️
       1234 + 4567
 ┌─           
-- 
cgit v1.2.3