Rule of Conjunction/Sequent Form

Theorem
The rule of conjunction can be symbolised by the sequent:
 * $p, q \vdash p \land q$