diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-24 20:18:08 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-01-24 20:18:08 -0500 |
| commit | bc0245f0be38e547ad76bcd719c6dedbb161f0f4 (patch) | |
| tree | 3649c29ade245e5a2fb8b2c47e19ac7b2d707a91 /help/identity_right.md | |
| parent | 5566ea9429f75b54a8cffb9ebea7747ea651d52c (diff) | |
Remove extra leading spaces from code examples
Diffstat (limited to 'help/identity_right.md')
| -rw-r--r-- | help/identity_right.md | 6 |
1 files changed, 3 insertions, 3 deletions
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 |