Fuente TeX:

\infer[RAA_1]{\neg \alpha \lor \alpha}{ \infer[E\neg]{\bot}{ \infer[I\neg_2]{\neg\alpha}{ \infer[E\neg]{\bot}{ [\neg(\neg \alpha \lor \alpha)]_1 & \infer[I\lor]{\neg \alpha \lor \alpha}{[\alpha]_2}} } & \infer[RAA_3]{\alpha}{ \infer[E\neg]{\bot}{ [\neg(\neg \alpha \lor \alpha)]_1 & \infer[I\lor]{\neg \alpha \lor \alpha}{[\neg\alpha]_3} } } } }