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

Small Tilde (˜)

-

𝔽˜ 𝕩: Self

+

𝔽˜ 𝕩: Self

Supplies 𝕩 as a left argument to 𝔽 (𝕩 𝔽 𝕩).

↗️
       1 + 1
 2
@@ -13,7 +13,7 @@
        +˜ 1
 2
 
-

𝕨 𝔽˜ 𝕩: Swap

+

𝕨 𝔽˜ 𝕩: Swap

Swaps the arguments of 𝔽 (𝕩 𝔽 𝕨).

↗️
       1 - 2
 ¯1
-- 
cgit v1.2.3