Natural Deduction Latex