From bc0245f0be38e547ad76bcd719c6dedbb161f0f4 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Mon, 24 Jan 2022 20:18:08 -0500 Subject: Remove extra leading spaces from code examples --- help/identity_right.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'help/identity_right.md') diff --git a/help/identity_right.md b/help/identity_right.md index 475a3b4a..d81f3bc2 100644 --- a/help/identity_right.md +++ b/help/identity_right.md @@ -6,7 +6,7 @@ Return `𝕩`. - ⊢ 5 + ⊢ 5 @@ -14,6 +14,6 @@ Return `𝕩`. Return `𝕩`. - 5 ⊢ 8 + 5 ⊢ 8 - 'a' ⊢ 1‿2‿3 + 'a' ⊢ 1‿2‿3 -- cgit v1.2.3