From cf2d82acc6fecfd85f08162920835cce3502f987 Mon Sep 17 00:00:00 2001
From: Mark <mark@betalupi.com>
Date: Tue, 1 Nov 2022 21:33:01 -0700
Subject: [PATCH] README

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

diff --git a/README.md b/README.md
index 5eb0759..b9caba5 100644
--- a/README.md
+++ b/README.md
@@ -23,9 +23,9 @@ Type lambda expressions into the prompt, and Lamb will evaluate them. \
 Use your `\` (backslash) key to type a `λ`. \
 To define macros, use `=`. For example,
 ```
-~~> T = λab.a
-~~> F = λab.a
-~~> NOT = λa.a F T
+==> T = λab.a
+==> F = λab.a
+==> NOT = λa.a F T
 ```
 
 Note that there are spaces in `λa.a F T`. With no spaces, `aFT` will be parsed as one variable. \
@@ -36,7 +36,7 @@ Be careful, macros are case-sensitive. If you define a macro `MAC` and accidenta
 
 Numbers will automatically be converted to Church numerals. For example, the following line will reduce to `T`.
 ```
-~~> 3 NOT F
+==> 3 NOT F
 ```
 
 If an expression takes too long to evaluate, you may interrupt reduction with `Ctrl-C`.