diff options
Diffstat (limited to 'README')
| -rw-r--r-- | README | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -11,7 +11,7 @@ LaTeX output — perfect for repetitive university assignments. When run without arguments, Pinocchio reads queries from the standard input and prints truth tables to the standard output. If given one-or-more non-option command-line arguments, the arguments are treated -as newline-separated lists of queries. The special filename ‘-’ may be +as newline-separated files of queries. The special filename ‘-’ may be used to denote the standard input. The -s/--string option may also be used to provide a query directly to Pinocchio as a command-line argument. @@ -35,7 +35,7 @@ shown in the generated table are separated by a vertical-bar (‘|’). $ Each vertical-bar-separated expression in the query may refer to -zero-or-more variables, where a variable is any lower- or uppercase ASCII +one-or-more variables, where a variable is any lower- or uppercase ASCII character (Unicode or multi-character variables are not supported). Operators may also be written using either the corresponding Unicode character or by using an ASCII alternative with C-like (but not |