From ff9a1a60d88d8278a4cef44a35de7483c615fc41 Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 5 Nov 2017 17:14:49 -0700
Subject: [PATCH] correct README

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index b1360480..26bdbd60 100644
--- a/README.md
+++ b/README.md
@@ -47,7 +47,7 @@ ideally, very fast) [Shen](http://shenlanguage.org) implementation.
 The following predicates are built-in to rusty-wam.
 
 * Arithmetic support:
-  ** is/2 works for (+)/2, (-)/{1,2}, (*)/2, (//)/2, (div)/2.
+    * is/2 works for (+)/2, (-)/{1,2}, (*)/2, (//)/2, (div)/2.
 * atomic/1
 * call/N (1 <= N <= 63)
 * catch/3
@@ -136,5 +136,5 @@ arithmetic operators with the usual precedences,
 ```
 prolog> ?- X = -5 + 3 - (2 * 4) // 8.
 true.
-X = -(+(-(5), 3), /(*(2, 4), 8)).
+X = -(+(-(5), 3), //(*(2, 4), 8)).
 ```
\ No newline at end of file
-- 
2.54.0