Law of Excluded Middle/Sequent Form

Theorem
The Law of Excluded Middle can be symbolised by the sequent:
 * $\vdash p \lor \neg p$