¬ ∧ ∨ ⊃ ≡ ( ) ⊢ premises before |-, separated by commas