Symbols: use the following keyboard symbols in your input for the various logical connectives:
|>||for the conditional|
|< >||for the biconditional|
||||for the Sheffer Stroke, aka NAND|
Here are some examples of well-formed inputs the program will accept:
The source code is available on GitHub, just click the icon at the top right corner of the page.