aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2024-09-05 15:37:32 +0200
committerThomas Voss <mail@thomasvoss.com> 2024-09-05 15:37:32 +0200
commit0ef367f61d437c1820ce067197b25ae088678d05 (patch)
tree35c3a5c3a99553c1049691e76edfe8148c072c37
parent899e79466bb46b6600e55c335b1bf5b3c6c072ff (diff)
Update README
-rw-r--r--README13
1 files changed, 13 insertions, 0 deletions
diff --git a/README b/README
index ab4a50f..f2bf0e8 100644
--- a/README
+++ b/README
@@ -52,6 +52,19 @@ The list of operators are as follows:
Implication │ ⇒, =>
Equivalence │ ⇔, <=>
+Sometimes if your query is rather long, you may want to break it up
+across multiple lines. To do this you can make use of line-continuation
+by prefixing each continued line with a backslash. The following two
+inputs are identical.
+
+ p ∧ ¬q | ¬p ∧ q | (¬p ∨ ¬q) ⇒ (p ∧ ¬q) ∨ (¬p ∧ q)
+
+ p ∧ ¬q
+ \ | ¬p ∧ q
+ \ | (¬p ∨ ¬q) ⇒
+ \ (p ∧ ¬q) ∨ (¬p ∧ q)
+
+
By default generated tables express boolean values as the binary digits 0
and 1, and are drawn using ASCII characters or Unicode characters if the
user is in a UTF-8 locale. This can all be customized with use of the