From: Anton Kochkov <anton.kochkov@gmail.com>
Date: Tue, 19 Nov 2019 10:48:46 +0000 (+0800)
Subject: Fix README formatting
X-Git-Tag: v0.8.118~38^2~14^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c0a49b6a664d773415a1348e8e50827f646f752b;p=scryer-prolog.git

Fix README formatting
---

diff --git a/README.md b/README.md
index 0b8b564c..d6c31433 100644
--- 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.