Double Negation/Double Negation Introduction/Sequent Form

Theorem
The rule of Double Negation Introduction can be symbolised by the sequents: