MathJax와 자연 연역

Fitch style proof나 truth tree proof (tableaux method) 등을 통한 자연 연역 표기를 \(\LaTeX\)에서는 패키지 추가를 통해 할 수 있는데, 유감스럽게도 MathJax는 관련 익스텐션을 제공하지 않는다. 그래서 align 통해 아래와 같은 Lemmon style proof를 시험 삼아 작성해 보았다. $$ \begin{align} &\{1\}&&1.&&\forall x(…