Fix README formatting

diff --git a/README.md b/README.md
index 0b8b564ca07d6f28dff795047a00a1d9851a16a8..d6c31433cc521520b2707bc1d71480db4bf42c76 100644 (file)
--- a/README.md
+++ b/README.md
@@ -50,7 +50,7 @@ Extend Scryer Prolog to include the following, among other features:
 - [x] Backtrackable and non-backtrackable global variables via `bb_get/2`
       `bb_put/2` (non-backtrackable) and `bb_b_put/2`
       (backtrackable).
-- [ ] clp(B) and clp($\mathbb{Z}$) as builtin libraries (_in progress_).
+- [ ] clp(B) and clp(ℤ) as builtin libraries (_in progress_).
 - [ ] Streams and predicates for stream control (_in progress_).
 - [ ] An incremental compacting garbage collector satisfying the five
       properties of "Precise Garbage Collection in Prolog."
@@ -388,4 +388,4 @@ local_member(X, Xs) :- member(X, Xs).
 ```
 
 The user listing can also be terminated by placing `end_of_file.` at
-the end of the stream.
\ No newline at end of file
+the end of the stream.