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/over.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'help/over.md') diff --git a/help/over.md b/help/over.md index 1ed1a9c3..3a9022ae 100644 --- a/help/over.md +++ b/help/over.md @@ -8,9 +8,9 @@ Apply `𝔾` to `𝕩`, then apply `𝔽` (`𝔽 𝔾 𝕩`). `𝔽` and `𝔾` must be monadic. - -○- 5 + -○- 5 - - - 5 + - - 5 @@ -20,8 +20,8 @@ Apply `𝔾` to `𝕨` and `𝕩`, then apply `𝔽` to them (`(𝔾 𝕨) 𝔽 `𝔽` must be dyadic, `𝔾` must be monadic. - 1 +○- 2 + 1 +○- 2 - 1 + - 2 + 1 + - 2 - (- 1) + (- 2) + (- 1) + (- 2) -- cgit v1.2.3