How to create a correctly aligned tree proof in logic with 4 branches, columns of line numbers and justifications?

Do you like cookies? 🍪 We use cookies to ensure you get the best experience on our website. Learn more

1
2
\documentclass{article}¬
\usepackage{xparse,}¬
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

LaTeX

MathJax