Latex document with all rules of sequent calculus