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

Not (¬)

-

¬ 𝕩: Logical Not

+

¬ 𝕩: Logical Not

Logical Not of 𝕩.

Pervasive.

↗️
      ¬ 0
@@ -14,7 +14,7 @@
       ¬ 10
 ⟨ 0 1 ⟩
 
-

𝕨 ¬ 𝕩: Span

+

𝕨 ¬ 𝕩: Span

Count of numbers in the inclusive range from 𝕩 to 𝕨.

Pervasive.

↗️
      3 ¬ 1
-- 
cgit v1.2.3