Enter one or more SL sentences in the top window.
Use the ~ v & > and = keys for the connectives.
Prefix # to a line to prevent it from being evaluated.