diff options
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 |