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

Circle Stile ()

-

𝕩: Reverse

+

𝕩: Reverse

Reverse the first axis of 𝕩.

↗️
        123
 ⟨ 3 2 1 ⟩
@@ -19,7 +19,7 @@
   0 1 2  
         ┘
 
-

𝕨 𝕩: Dyad

+

𝕨 𝕩: Dyad

Move the first 𝕨 elements of 𝕩 to its end. Negative 𝕨 reverses the direction of rotation.

↗️
       2  123
 ⟨ 3 1 2 ⟩
-- 
cgit v1.2.3