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

Lesser Than (<)

-

< ๐•ฉ: Enclose

+

< ๐•ฉ: Enclose

Create a unit array containing ๐•ฉ. ((โ‰ข๐•ฉ) โ‰ก โŸจโŸฉ)

โ†—๏ธ
      <1
 โ”Œยท   
@@ -16,7 +16,7 @@
       โ‰ข<1
 โŸจโŸฉ
 
-

๐•จ < ๐•ฉ: Lesser Than

+

๐•จ < ๐•ฉ: Lesser Than

๐•จ and ๐•ฉ can both be either numbers or characters.

Pervasive.

โ†—๏ธ
      1 < 3
-- 
cgit v1.2.3