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/first_pick.md | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'help/first_pick.md') diff --git a/help/first_pick.md b/help/first_pick.md index c9c0093e..deb09cc3 100644 --- a/help/first_pick.md +++ b/help/first_pick.md @@ -6,11 +6,11 @@ First element of `𝕩`. - ⊑ ⟨1, 2, 3⟩ + ⊑ ⟨1, 2, 3⟩ - a ← 3‿3 ⥊ ↕9 + a ← 3‿3 ⥊ ↕9 - ⊑ a + ⊑ a @@ -18,8 +18,8 @@ First element of `𝕩`. Pick the element of `𝕨` at index `𝕩`. - 2 ⊑ ⟨1, 2, 3⟩ + 2 ⊑ ⟨1, 2, 3⟩ - b ← 3‿3 ⥊ ↕9 + b ← 3‿3 ⥊ ↕9 - 2‿0 ⊑ b + 2‿0 ⊑ b -- cgit v1.2.3