From 0ef367f61d437c1820ce067197b25ae088678d05 Mon Sep 17 00:00:00 2001 From: Thomas Voss Date: Thu, 5 Sep 2024 15:37:32 +0200 Subject: Update README --- README | 13 +++++++++++++ 1 file changed, 13 insertions(+) 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 -- cgit v1.2.3