| Outline color | Black | Red | Dark red | Teal | Orange |
|---|---|---|---|---|---|
| Meaning | Normal | Invalid syntax | Does not have required inputs | Premise | Output |
| Text | ~ | ^ | + | > | = | N/a | N/a |
|---|---|---|---|---|---|---|---|
| Symbol | ¬ | ∧ | ∨ | ⇒ | ⇔ | ⊥ | ⊳ |
| Name | not | and | or | implies | if and only if | contradiction | under the assumption that |
| Usage | ¬X | X∧Y | X∨Y | X⇒Y | X⇔Y | ⊥ | X⊳Y |