From 8141816bccdc173b8318ba9eb80043bec2d644b3 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 3 Jul 2015 16:54:12 +0200
Subject: Parser; cleanup

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 41a6933..dc01fb5 100644
--- a/README.md
+++ b/README.md
@@ -97,7 +97,7 @@ The `truthtable` of `e15`:
 
 ## Future ideas
 
- * Different `toString` formats for operators: HTML (`¬`), UTF-8 (¬)
+ * Different `toString` formats for operators: HTML (`¬`), UTF-8 (¬), LaTeX (`\neg`)
  * Different `toString` formats for booleans: `0` and `1` or `T` and `F` instead of `True` and `False`
  * Simplifying expressions with atomic expressions as far as possible
  * Testing equivalence or impliance of expressions with atomic expressions
-- 
cgit v1.2.3