From 9668bcbb030a10492c99682d15fb2252c640e265 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Sat, 11 Jun 2022 10:14:14 +0200
Subject: [PATCH] Style tweaks

---
 cheatsheet.md | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/cheatsheet.md b/cheatsheet.md
index 5e7b179..aa3970e 100644
--- a/cheatsheet.md
+++ b/cheatsheet.md
@@ -14,12 +14,12 @@ For a value `v`, we write `«v»` for the binary encoding of `v`.
 
                           «#f» = [0xA0]
                           «#t» = [0xA1]
-           «F» when F ∈ Float  = [0xA2] ++ binary32(F)
-           «D» when D ∈ Double = [0xA2] ++ binary64(D)
-    «x» when x ∈ SignedInteger = [0xA3] ++ intbytes(x)
-                           «S» = [0xA4] ++ utf8(S)  if S ∈ String
-                                 [0xA5] ++ S        if S ∈ ByteString
-                                 [0xA6] ++ utf8(S)  if S ∈ Symbol
+                           «F» = [0xA2] ++ binary32(F)  if F ∈ Float
+                           «D» = [0xA2] ++ binary64(D)  if D ∈ Double
+                           «x» = [0xA3] ++ intbytes(x)  if x ∈ SignedInteger
+                           «S» = [0xA4] ++ utf8(S)      if S ∈ String
+                                 [0xA5] ++ S            if S ∈ ByteString
+                                 [0xA6] ++ utf8(S)      if S ∈ Symbol
 
 The functions `binary32(F)` and `binary64(D)` yield big-endian 4- and
 8-byte IEEE 754 binary representations of `F` and `D`, respectively.