Rule of Explosion/Sequent Form

Theorem
The Rule of Explosion can be symbolised by the sequent:
 * $\bot \vdash \phi$