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

Plus (+)

-

+ 𝕩: Conjugate

+

+ 𝕩: Conjugate

↗️
      + 1
 1
 
       + ¯1
 ¯1
 
-

𝕨 + 𝕩: Add

+

𝕨 + 𝕩: Add

𝕨 added to 𝕩. Either 𝕨 or 𝕩 can be a character, and if so, the other has to be an integer.

Pervasive.

↗️
      1 + 2
-- 
cgit v1.2.3