Modus Ponendo Ponens/Sequent Form

Theorem
The Modus Ponendo Ponens can be symbolised by the sequent: