diff --git a/README.md b/README.md
index c28a43b64e86594d0296921a41c1bb5ed3a95a9e..a364c0e32fec0e16f184db197ee5bdd235e0afde 100644
--- a/README.md
+++ b/README.md
@@ -44,6 +44,7 @@ The code of `set-local-abbrevs` comes from
 ```
 
 And we define the following abbreviations,
+
 |----------|---|
 | subtype  | ⊑ |
 | upcast   | ↑ |